At a Glance
| Applications | Model Checker |
| Developers | University of Twente |
| Licenses | BSD-3-Clause |
| Maintenance | Actively Maintained |
Description
LTSmin started out as a generic toolset for manipulating labelled transition systems. Meanwhile the toolset was extended to a a full (LTL/CTL/μ-calculus) model checker, while maintaining its language-independent characteristics.