LTSmin 2.0

LTSmin version 2.0 released
Added by Alfons Laarman over 7 years ago

Major changes (see also extract from NEWS file below):
  • Code refactor / reorganization
  • Multi-core BDD package Sylvan
  • New frontend for timed Uppaal models
  • New frontend for PBESs
  • Symbolic parity game solver
  • New multi-core LTL algorithms
  • New lockless data structures for state compression
  • Support for Mcrl/Mcrl2/PBES in the multi-core backend
  • SpinJa renamed to SpinS and extended with partial order reduction
  • Test suite based on DejaGnu

Comments