Support model checking and constraint-based checking
Model checking (possibly with limit)
LTL formula checking
CTL formula checking
CBC
Deadlock checking
BMC
Edited
Dec 04, 2019
by
dgelessus