./wip/ltsmin, The LTSmin model checking toolset

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]

Branch: CURRENT, Version: 3.0.2, Package name: ltsmin-3.0.2, Maintainer: pkgsrc-users

LTSmin started out as a generic toolset for manipulating labelled transition
systems. Meanwhile the toolset was extended to a a full (LTL/CTL/mu-calculus)
model checker, while maintaining its language-independent characteristics.

To obtain its input, LTSmin connects a sizeable number of existing
(verification) tools: *muCRL*, *mCRL2*, *DiVinE*, *SPIN* (*SpinS*), *UPPAAL*
(*opaal*), *SCOOP*, *PNML*, *ProB* and *CADP*. Moreover, it allows to reuse
existing tools with new state space generation techniques by exporting LTSs
into various formats.

Master sites:

SHA1: a658aaa6efa4a2c7fd0d48c4e8c406ebb4916c27
RMD160: 2e36b9cf08dd51ae6554cd8e7d5301726fb7202e
Filesize: 3196.365 KB

Version history: (Expand)