PRINCIPIA
ProductsBlogAbout Us

Pthread Model Checker

Version History

13 November 2017 1.4.1

reduce the number of states

20 October 2017 1.4.0

reduce the number of states

fix a problem of AMB in functions

15 October 2017 1.3.1

fix goto and label problem

11 October 2017 1.3.0

add the nondeterministic choice statetment AMB.

10 October 2017 1.2.0

add '-D' option to ptmc. Constants can be defined in command line.

fix: some transition could be missed when 'main' does not exit.

9 October 2017 1.1.0

support spurious wakeups

8 October 2017 1.0.0

first release