Back to Results
First PageMeta Content
Theoretical 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 1
Add to Reading List

Document Date: 2017-07-21 11:03:15

Open Document

File Size: 244,81 KB

Share Result on Facebook
UPDATE