LTSmin

From Infogalactic: the planetary knowledge core
Jump to: navigation, search


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

<templatestyles src="Reflist/styles.css" />

Cite error: Invalid <references> tag; parameter "group" is allowed only.

Use <references />, or <references group="..." />

External links


<templatestyles src="Asbox/styles.css"></templatestyles>

Stub icon

This formal methods-related article is a stub. You can help Wikipedia by expanding it.
  1. ↑ Results of the RERS 2012 Challenge
Retrieved from "https://infogalactic.com/w/index.php?title=LTSmin&oldid=609911427"