LTSmin

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:

Promela
UPPAAL language
mCRL2

The tool-set has been developed at University of Twente, Netherlands.

Notes

↑ Results of the RERS 2012 Challenge

External links

LTSmin academic website
Formal Methods and Tools research group

This article is issued from Wikipedia - version of the Saturday, May 24, 2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.