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.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
pyuppaal developers
Project:
pyuppaal
Status:
Experimental

Recent revisions

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

Branch metadata

Branch format:
Branch format 6
Repository format:
Bazaar pack repository format 1 (needs bzr 0.92)
This branch contains Public information 
Everyone can see this information.