Posts from the ‘Tools’ Category
- SNIP released! on November 24th, 2010
- NuSMV extension now available for NuSMV 2.5.0 on August 24th, 2010
- Yet another FTS model checker on July 14th, 2010
- Symbolic model checking of FTS on March 23rd, 2010
- FTSLib, a prototype Haskell implementation on September 8th, 2009