search

chubbymaggie / synoptic

Automatically exported from code.google.com/p/synoptic
0 stars 0 forks source link

Remove the NASA model checking code #326

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
The older NASA model checking code that is based on buchi automata is no longer 
useful to us -- we've been using the fsmchecker by default for a long time now 
and are moving away from pure LTL properties that the NASA checker supports. 
Removing this older dependency will simplify the code base and will simplify 
maintenance.

Original issue reported on code.google.com by bestchai on 11 Jul 2013 at 9:56