![Theoretical computer science / Logic in computer science / Temporal logic / Constraint programming / Electronic design automation / Satisfiability modulo theories / Alt-Ergo / Computation tree logic / Model theory Theoretical computer science / Logic in computer science / Temporal logic / Constraint programming / Electronic design automation / Satisfiability modulo theories / Alt-Ergo / Computation tree logic / Model theory](https://www.pdfsearch.io/img/64aa509fcb8904ddd08da2cb6880c4ab.jpg) Date: 2013-07-31 06:15:38Theoretical computer science Logic in computer science Temporal logic Constraint programming Electronic design automation Satisfiability modulo theories Alt-Ergo Computation tree logic Model theory | | Cubicle: A Parallel SMT-based Model Checker for Parameterized Systems Tool Paper Sylvain Conchon1 , Amit Goel2 , Sava Krsti´c2 Alain Mebsout1 , and Fatiha Za¨ıdi1 1Add to Reading ListSource URL: cubicle.lri.frDownload Document from Source Website File Size: 244,81 KBShare Document on Facebook
|