pyuppaal

lp:~pyuppaal-developers/pyuppaal/modelchecker

Created by Kenneth Yrke Jørgensen on 2009-10-23 and last modified on 2010-01-26

This branch focuses on implementing a simple discrete time model checking tool for NTA

Get this branch:: bzr branch lp:~pyuppaal-developers/pyuppaal/modelchecker

Members of pyuppaal developers can upload to this branch. Log in for directions.

No branches dependent on this one.

93. By Kenneth Yrke Jørgensen <kyrke@elia> on 2010-01-26: Added support for invariant
92. By Kenneth Yrke Jørgensen <kyrke@dagmar> on 2010-01-25: Added simple single threaded version of the model checker
91. By Kenneth Yrke Jørgensen <kyrke@dagmar> on 2010-01-25: Updated model to include clock declaration
90. By Kenneth Yrke Jørgensen <kyrke@elia> on 2010-01-02: Updated readme with latest install instructions
89. By Mads Chr. Olesen on 2009-10-29: Different delay successor generators.
It turns out it is most efficient to just generate the immediate 1 step delay successor.
88. By Mads Chr. Olesen on 2009-10-29: Fallback import for elementtree
87. By Mads Chr. Olesen on 2009-10-29: Reintroduce a CLI master
Make a passedwaiting set, and use instead of passed
86. By Mads Chr. Olesen on 2009-10-29: Only import pygraphviz when needed
85. By Mads Chr. Olesen on 2009-10-29: Conditional use matplotlib
84. By Mads Chr. Olesen on 2009-10-29: Various small optimisations, primarily optimising finding corresponding sync transitions

This branch contains Public information

Everyone can see this information.