Introduction
This page allows you to have a look on how LTSMin performs face to other tools in the following examinations:
- StateSpace,
- ReachabilityBounds,
- ReachabilityCardinality,
- ReachabilityComputeBounds,
- ReachabilityDeadlock,
- ReachabilityFireability,
- ReachabilityFireabilitySimple,
- CTLCardinality,
- CTLFireability,
- CTLFireabilitySimple,
Examinations for which the tool does not compete are not listed.