List is sorted by rating
Rating (?)
Tweets (*)
pr *
  • Formal Methods Europe
  • www.fmeurope.org
  • An organisation with the mission of promoting and supporting the industrial use of formal methods for computer systems development. The site contains information on formal methods and on FME itself.
3.5
(si*)
-
6
  • Statestep
  • statestep.com
  • A lightweight, systematic method for finite state machine specification: a tool includes interactive checking and a kind of spreadsheet for invariants; it also supports decision tables and combinatorial completion.
3.3
(si*)
<5
3
Also see: