Date: 2017-07-21 11:03:15Theoretical 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: mebsout.github.ioDownload Document from Source Website File Size: 244,81 KBShare Document on Facebook
|