Skip to content
GitLab
Explore
Sign in
general
stups
ProB 2 Jupyter Kernel
Issues
#14
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