ltsmin
High-performance language-independent model checking tools
LTSmin is a language-independent model-checking toolset built around the Partitioned Interface to the Next-State function (PINS). It provides sequential, multicore and symbolic exploration algorithms and frontends for transition-system formats and modeling tools such as ETF, DVE, Promela, PNML and ProB.
homepage ↗ github: utwente-fmt/ltsmin
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| eventb-rossi GitHub ↗ | 3.0.2 | 1 | 27 h | details › |
Versions & arches
Use flags of 3.0.2
- +gmp Add support for dev-libs/gmp (GNU MP library)
- +prob Enable the ProB frontend and prob2lts tools
- +sylvan Enable Sylvan BDD and LDDmc symbolic state-storage backends
- boost Enable advanced variable-reordering algorithms using dev-libs/boost
- buddy Enable the BuDDy finite-domain decision diagram backend using LTSmin's compatible private fork
- mpi Add MPI (Message Passing Interface) layer to the apps that support it
- pnml Enable the Petri Net Markup Language frontend
- profiler Enable gperftools profiling support in spgsolver
- spins Install the SpinS compiler for Promela models
- test Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)
- zip Enable ZIP archive input and output