Skip to content

BPMVerification 1.1.0
Compare
Choose a tag to compare
@Heerkog Heerkog released this 27 Jul 10:19
· 8 commits to master since this release
1.1.0
acd0072

Added MultiVerifier that is able to calculate multiple stutter equivalent models simultaneously for each of the given specification sets.
Added support for conditional expressions in specifications (e.g. AF(x < 2)).
Improved conditional expression evaluation.

Assets 3
Loading