First Page | Document Content | |
---|---|---|
Date: 2007-05-29 03:47:08Theoretical computer science Logic in computer science Formal methods Logic Constraint programming Electronic design automation Satisfiability modulo theories Formal verification SMT Automated reasoning Satisfiability | SMT Workshop’07 5th International Workshop on Satisfiability Modulo Theories (Previously called PDPAR: Pragmatics of Decision Procedures in Automated Reasoning) Affiliated with CAV’07 Berlin, Germany, 1-2 July 2007Add to Reading ListSource URL: www.lsi.upc.eduDownload Document from Source WebsiteFile Size: 41,03 KBShare Document on Facebook |
Outline SMT: Where Do We Go From Here? Clark Barrett, New York University SMT Workshop, July 17, 2014DocID: 1xW2J - View Document | |
The SMT-LIB Standard Version 2.6 Clark Barrett Pascal Fontaine Release:DocID: 1xVWs - View Document | |
Language and Proofs for Higher-Order SMT (Work in Progress)∗ Haniel Barbosa Jasmin Christian BlanchetteDocID: 1xVWc - View Document | |
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 1DocID: 1xVVP - View Document | |
Satisfiability Modulo Theories Competition (SMT-COMP) 2014: Rules and Procedures David R. Cok GrammaTech, Inc. Ithaca, NY (USA)DocID: 1xVTO - View Document |