 |
Conference papers
Cubicle: A Parallel SMT-based Model Checker for Parameterized Systems
Abstract : Cubicle is a new model checker for verifying safety properties of parameterized systems. It implements a parallel symbolic backward reachability procedure using Satisfiabilty Modulo Theories. Experiments done on classic and challenging mutual exclusion algorithms and cache coherence protocols show that Cubicle is effective and competitive with state-of-the-art model checkers.
Cited literature [15 references]
https://hal.archives-ouvertes.fr/hal-00799272
Contributor : Sylvain Conchon <>
Submitted on : Tuesday, March 12, 2013 - 8:56:23 AM
Last modification on : Wednesday, September 16, 2020 - 5:09:03 PM
Contributor : Sylvain Conchon <>
Submitted on : Tuesday, March 12, 2013 - 8:56:23 AM
Last modification on : Wednesday, September 16, 2020 - 5:09:03 PM
File
tool.pdf
Files produced by the author(s)