PRINCIPIA
ProductsDocumentationsAbout Us

Pthread Model Checker

Version History

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