C2 - PDFSEARCH.IO - Document Search Engine

C2
Results: 2513

#	Item
1	Conflict-Directed Graph Coverage Daniel Schwartz-Narbonne1 , Martin Sch¨af2 , Dejan Jovanovi´c2 , Philipp R¨ ummer3 , and Thomas Wies1 1 Add to Reading List Source URL: csl.sri.com Language: English - Date: 2015-02-14 13:21:39
2	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 Source URL: mebsout.github.io Language: English - Date: 2017-07-21 11:03:15 Theoretical computer science Logic in computer science Temporal logic Constraint programming Electronic design automation Satisfiability modulo theories Alt-Ergo Computation tree logic Model theory
3	A Model-Constructing Satisfiability Calculus Leonardo de Moura1 and Dejan Jovanovi´c2 1 2 Microsoft Research Add to Reading List Source URL: csl.sri.com Language: English - Date: 2014-06-27 12:47:14 Theoretical computer science Mathematics Computational complexity theory Logic in computer science Automated theorem proving NP-complete problems Electronic design automation Formal methods Conflict-driven clause learning Boolean satisfiability problem Clause Unit propagation
4	Selfless Interpolation for Infinite-State Model Checking? Tanja Schindler1 and Dejan Jovanovi´c2 1 University of Freiburg Add to Reading List Source URL: csl.sri.com Language: English - Date: 2018-04-25 11:34:43 Mathematics Theoretical computer science Mathematical logic Lemmas Model theory Interpolation Logic in computer science Craig interpolation Satisfiability modulo theories Farkas' lemma Quantifier elimination First-order logic
5	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 Source URL: cubicle.lri.fr Language: English - Date: 2013-07-31 06:15:38 Theoretical computer science Logic in computer science Temporal logic Constraint programming Electronic design automation Satisfiability modulo theories Alt-Ergo Computation tree logic Model theory
6	A Separation Logic with Data: Small Models and Automation? Jens Katelaan1 , Dejan Jovanovi´c2 , and Georg Weissenbacher1 1 TU Wien, Vienna, Austria Add to Reading List Source URL: csl.sri.com Language: English - Date: 2018-04-25 11:34:42 Mathematical logic Logic Predicate logic Mathematics Model theory Semantics Philosophical logic First-order logic FO Quantifier Constructible universe Interpretation
7	PDF Document Add to Reading List Source URL: t3n9sm.c2.acecdn.net
8	PDF Document Add to Reading List Source URL: t3n9sm.c2.acecdn.net
9	PDF Document Add to Reading List Source URL: t3n9sm.c2.acecdn.net
10	PDF Document Add to Reading List Source URL: t3n9sm.c2.acecdn.net

UPDATE