package coq-smc
BDD based symbolic model checker for the modal mu-calculus
Install
Dune Dependency
Authors
Maintainers
Sources
v8.10.0.tar.gz
md5=37eac17fe2c54452dd63698859180574
Description
Provides BDD algorithms, a symbolic model checker for the modal mu-calculus based on it, together with a garbage collector
Tags
keyword: BDD keyword: binary decision diagrams keyword: classical logic keyword: propositional logic keyword: garbage collection keyword: modal mu-calculus keyword: model checking keyword: symbolic model checking keyword: reflection category: Computer Science/Decision Procedures and Certified Algorithms/Decision procedures date: 2002-11Published: 07 Dec 2019
Dependencies (3)
-
coq-int-map
>= "8.10" & < "8.11~" -
coq
>= "8.10" & < "8.11~" - ocaml
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page