Skip to content

Support model checking and constraint-based checking

  • Model checking (possibly with limit)
  • LTL formula checking
  • CTL formula checking
  • CBC
    • Deadlock checking
  • BMC
Edited by dgelessus