This article needs additional citations for verification. (June 2013) (Learn how and when to remove this template message)
LTSmin (short for “Minimization and Instantiation of Labelled Transition Systems”) is an award-winning 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.
|This formal methods-related article is a stub. You can help Wikipedia by expanding it.|