/modelcheck

Model checking algorithms for logics over transition systems

Primary LanguageHaskellBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

modelcheck

Check logical models describing transition systems

Implemented

Transition Systems

  • Pure CCS

Logics

  • Model Mu-Calculus