LTSmin
From Infogalactic: the planetary knowledge core
LTSmin (short for “Minimization and Instantiation of Labelled Transition Systems”) is an award-winning[1] tool-set for manipulation and model checking of state transition systems. Its strengths are language-independents and high-performance parallel (multi-core and distributed) model checking. It offers explicit state as well as symbolic model checking.
The following prominent specification languages are currently supported:
The tool-set has been developed at University of Twente, Netherlands.
Notes
External links
<templatestyles src="Asbox/styles.css"></templatestyles>
 |
This formal methods-related article is a stub. You can help Wikipedia by expanding it. |
