PMC (Partial Model Checker)

• Download PMC 1.0 (August 2025)

Publications

• Partial Model Checking using Networks of Labelled Transition Systems and Boolean Equation Systems
  Frédéric Lang and Radu Mateescu
  Logical Methods in Computer Science 9(4), 2013.
  

  Full text: