cubicle
SMT based model checker for parameterized systems
| Authors | Sylvain Conchon and Alain Mebsout |
|---|---|
| License | Apache Software License version 2.0 |
| Homepage | http://cubicle.lri.fr |
| Maintainer | mebsout@lri.fr |
| OCaml | >= 4.00.0 |
Events
Aug 6, 2014
Published version 1.0