1![Noname manuscript No. (will be inserted by the editor) Cutting to the Chase Solving Linear Integer Arithmetic Noname manuscript No. (will be inserted by the editor) Cutting to the Chase Solving Linear Integer Arithmetic](https://www.pdfsearch.io/img/85bcc9c9529600c01ecf2d91d56e87c4.jpg) | Add to Reading ListSource URL: csl.sri.comLanguage: English - Date: 2014-06-27 12:47:14
|
---|
2![Conflict-Directed Graph Coverage Daniel Schwartz-Narbonne1 , Martin Sch¨af2 , Dejan Jovanovi´c2 , Philipp R¨ ummer3 , and Thomas Wies1 1 Conflict-Directed Graph Coverage Daniel Schwartz-Narbonne1 , Martin Sch¨af2 , Dejan Jovanovi´c2 , Philipp R¨ ummer3 , and Thomas Wies1 1](https://www.pdfsearch.io/img/fce10f9a9e6ed29a85645217e4740ccc.jpg) | Add to Reading ListSource URL: csl.sri.comLanguage: English - Date: 2015-02-14 13:21:39
|
---|
3![Noname manuscript No. (will be inserted by the editor) Being Careful about Theory Combination Dejan Jovanovi´ Noname manuscript No. (will be inserted by the editor) Being Careful about Theory Combination Dejan Jovanovi´](https://www.pdfsearch.io/img/469b3f7ee756639a194aad0d4eaa65b5.jpg) | Add to Reading ListSource URL: csl.sri.comLanguage: English - Date: 2014-06-27 12:47:14
|
---|
4![A Model-Constructing Satisfiability Calculus Leonardo de Moura1 and Dejan Jovanovi´c2 1 2 Microsoft Research A Model-Constructing Satisfiability Calculus Leonardo de Moura1 and Dejan Jovanovi´c2 1 2 Microsoft Research](https://www.pdfsearch.io/img/e1586a1b97ba6e768e9ef53a61aa166f.jpg) | Add to Reading ListSource URL: csl.sri.comLanguage: English - Date: 2014-06-27 12:47:14
|
---|
5![Template-based circuit understanding Adri`a Gasc´on∗ , Pramod Subramanyan† , Bruno Dutertre∗ , Ashish Tiwari∗ Dejan Jovanovi´c∗ , Sharad Malik† ∗ SRI International , , Template-based circuit understanding Adri`a Gasc´on∗ , Pramod Subramanyan† , Bruno Dutertre∗ , Ashish Tiwari∗ Dejan Jovanovi´c∗ , Sharad Malik† ∗ SRI International , ,](https://www.pdfsearch.io/img/ed0e85fd4ff6dc84247df96e2a4681fe.jpg) | Add to Reading ListSource URL: csl.sri.comLanguage: English - Date: 2014-08-26 19:53:27
|
---|
6![Selfless Interpolation for Infinite-State Model Checking? Tanja Schindler1 and Dejan Jovanovi´c2 1 University of Freiburg Selfless Interpolation for Infinite-State Model Checking? Tanja Schindler1 and Dejan Jovanovi´c2 1 University of Freiburg](https://www.pdfsearch.io/img/f770b203df48f8f574068cbefc9c80c3.jpg) | Add to Reading ListSource URL: csl.sri.comLanguage: English - Date: 2018-04-25 11:34:43
|
---|
7![Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that](https://www.pdfsearch.io/img/7161a03948feb50f4955f33e78f31cdf.jpg) | Add to Reading ListSource URL: csl.sri.comLanguage: English - Date: 2018-04-25 11:34:42
|
---|
8![Sharing is Caring: Combination of Theories? Dejan Jovanovi´c and Clark Barrett New York University Abstract. One of the main shortcomings of the traditional methods for combining theories is the complexity of guessing t Sharing is Caring: Combination of Theories? Dejan Jovanovi´c and Clark Barrett New York University Abstract. One of the main shortcomings of the traditional methods for combining theories is the complexity of guessing t](https://www.pdfsearch.io/img/fabe524438ed34c1b2fde028a640b1de.jpg) | Add to Reading ListSource URL: csl.sri.comLanguage: English - Date: 2014-06-27 12:47:14
|
---|
9![Safety Envelope for Security∗ Ashish Tiwari Bruno Dutertre SRI International Pat Lincoln Safety Envelope for Security∗ Ashish Tiwari Bruno Dutertre SRI International Pat Lincoln](https://www.pdfsearch.io/img/8380ccfdeb1bde19c439a01725316e8e.jpg) | Add to Reading ListSource URL: csl.sri.comLanguage: English - Date: 2014-06-27 13:33:30
|
---|
10![The Design and Implementation of the Model Constructing Satisfiability Calculus Dejan Jovanovi´c Clark Barrett The Design and Implementation of the Model Constructing Satisfiability Calculus Dejan Jovanovi´c Clark Barrett](https://www.pdfsearch.io/img/6e68a4d708e863312688e3d77fc69ce3.jpg) | Add to Reading ListSource URL: csl.sri.comLanguage: English - Date: 2014-06-27 12:47:14
|
---|