SRI International - PDFSEARCH.IO - Document Search Engine

SRI International
Results: 1439

#	Item
1	Template-based circuit understanding Adri`a Gasc´on∗ , Pramod Subramanyan† , Bruno Dutertre∗ , Ashish Tiwari∗ Dejan Jovanovi´c∗ , Sharad Malik† ∗ SRI International , , Add to Reading List Source URL: csl.sri.com Language: English - Date: 2014-08-26 19:53:27 Computational complexity theory Theoretical computer science Logic in computer science Boolean algebra Circuit complexity Complexity classes Electronic design automation True quantified Boolean formula Satisfiability modulo theories NC FO Boolean circuit
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 Add to Reading List Source URL: csl.sri.com Language: English - Date: 2018-04-25 11:34:42 Algorithm Mathematical logic Theoretical computer science IP Model checking Mathematics Machine learning
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 Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 C Data types Software engineering Computing Computer programming Pointer Compatibility of C and C++ Const Typedef
4	Safety Envelope for Security∗ Ashish Tiwari Bruno Dutertre SRI International Pat Lincoln Add to Reading List Source URL: csl.sri.com Language: English - Date: 2014-06-27 13:33:30
5	Bounds Analysis by Abstract Interpretation Xiaolei Qian Computer Science Laboratory SRI International Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-08 19:03:01 Mathematical analysis Mathematics Abstract interpretation Function Exponential function Complex analysis Formal methods Centripetal CatmullRom spline
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 Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-20 03:24:48 Logic Mathematical logic Mathematics Model theory Propositional calculus Logic in computer science Logical truth Linear temporal logic First-order logic Well-formed formula Interpretation Intuitionistic logic
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 Add to Reading List Source URL: smt-workshop.cs.uiowa.edu Language: English - Date: 2017-09-02 14:08:49 Algebra Mathematics Polynomials Abstract algebra Polynomial Irreducible polynomial Factorization of polynomials Resultant Algebraic geometry Factorization Polynomial greatest common divisor Permutation polynomial
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 Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Algorithm Mathematical logic Theoretical computer science IP Model checking Mathematics Machine learning
9	Property-Directed k-Induction Dejan Jovanovi´c Bruno Dutertre SRI International Add to Reading List Source URL: csl.sri.com Language: 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 Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-08-25 09:00:40 Theoretical computer science Mathematical logic Mathematics Boolean algebra Logic in computer science Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem Satisfiability modulo theories Propositional calculus Model checking