1![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
|
---|
2![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
|
---|
3![A Context-Sensitive Memory Model for Verification of C/C++ Programs Arie Gurfinkel and Jorge A. Navas University of Waterloo and SRI International SAS’17, August 30th, 2017 A Context-Sensitive Memory Model for Verification of C/C++ Programs Arie Gurfinkel and Jorge A. Navas University of Waterloo and SRI International SAS’17, August 30th, 2017](https://www.pdfsearch.io/img/7853b4371509f54b4e3eed9f7aa1f9a8.jpg) | Add to Reading ListSource URL: seahorn.github.ioLanguage: English - Date: 2018-08-03 20:31:21
|
---|
4![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
|
---|
5![Bounds Analysis by Abstract Interpretation Xiaolei Qian Computer Science Laboratory SRI International Bounds Analysis by Abstract Interpretation Xiaolei Qian Computer Science Laboratory SRI International](https://www.pdfsearch.io/img/19e22d635dbbd0f9a2a2f2689a294366.jpg) | Add to Reading ListSource URL: www.kestrel.eduLanguage: English - Date: 2012-08-08 19:03:01
|
---|
6![Automated Deduction for Verification Natarajan Shankar SRI International Automated deduction uses computation to perform symbolic logical reasoning. It has been a core technology for program verification from the very be Automated Deduction for Verification Natarajan Shankar SRI International Automated deduction uses computation to perform symbolic logical reasoning. It has been a core technology for program verification from the very be](https://www.pdfsearch.io/img/ceeeb6f6614491763189db6d7e3d38e0.jpg) | Add to Reading ListSource URL: dream.inf.ed.ac.ukLanguage: English - Date: 2010-07-20 03:24:48
|
---|
7![LibPoly: A Library for Reasoning about Polynomials∗ Dejan Jovanovi´c and Bruno Dutertre SRI International Abstract LibPoly is a C library for computing with polynomials. It provides data structures to represent multiv LibPoly: A Library for Reasoning about Polynomials∗ Dejan Jovanovi´c and Bruno Dutertre SRI International Abstract LibPoly is a C library for computing with polynomials. It provides data structures to represent multiv](https://www.pdfsearch.io/img/827f3e5daa2a89471b03ba07742141d8.jpg) | Add to Reading ListSource URL: smt-workshop.cs.uiowa.eduLanguage: English - Date: 2017-09-02 14:08:49
|
---|
8![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/d7a89a9473a3fb5ccc7bd37b559f5870.jpg) | Add to Reading ListSource URL: jorgenavas.github.ioLanguage: English - Date: 2018-10-25 12:43:22
|
---|
9![Property-Directed k-Induction Dejan Jovanovi´c Bruno Dutertre SRI International Property-Directed k-Induction Dejan Jovanovi´c Bruno Dutertre SRI International](https://www.pdfsearch.io/img/8a6321783b13246c663aa77a69acb82b.jpg) | Add to Reading ListSource URL: csl.sri.comLanguage: English - Date: 2016-08-09 21:05:39
|
---|
10![Verification Using SAT and SMT Solvers1 N. Shankar Computer Science Laboratory SRI International Menlo Park, CA Verification Using SAT and SMT Solvers1 N. Shankar Computer Science Laboratory SRI International Menlo Park, CA](https://www.pdfsearch.io/img/6bbdd28df67461d59cbd8eb5538b2756.jpg) | Add to Reading ListSource URL: dream.inf.ed.ac.ukLanguage: English - Date: 2010-08-25 09:00:40
|
---|