Sri - PDFSEARCH.IO - Document Search Engine

Sri
Results: 9118

#	Item
11	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
12	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
13	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 Add to Reading List Source URL: csl.sri.com Language: English - Date: 2014-06-27 12:47:14 Model theory Mathematics Metalogic Logic Mathematical logic Interpretation Structure
14	Learning a Static Analyzer from Data Pavol Bielik, Veselin Raychev, and Martin Vechev Department of Computer Science, ETH Z¨ urich, Switzerland {pavol.bielik, veselin.raychev, martin.vechev}@inf.ethz.ch Add to Reading List Source URL: files.sri.inf.ethz.ch Language: English - Date: 2018-09-05 10:55:58 Applied mathematics Cognition Cybernetics Learning Machine learning Artificial neural network Analysis Algorithm Mathematics
15	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
16	Probabilistic Model for Code with Decision Trees Veselin Raychev Pavol Bielik Martin Vechev Add to Reading List Source URL: files.sri.inf.ethz.ch Language: English - Date: 2018-09-05 10:56:01
17	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
18	The Design and Implementation of the Model Constructing Satisfiability Calculus Dejan Jovanovi´c Clark Barrett Add to Reading List Source URL: csl.sri.com Language: English - Date: 2014-06-27 12:47:14 Theoretical computer science Computational complexity theory Mathematics Logic in computer science Constraint programming Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem Conflict-driven clause learning Satisfiability modulo theories Unit propagation
19	http://plml.ethz.ch Big Code: last 5 years @ ETH • • Add to Reading List Source URL: files.sri.inf.ethz.ch Language: English - Date: 2018-09-05 10:57:53 Programming language syntax Biconjugate gradient stabilized method Numerical linear algebra Module:Dump
20	Solving Non-Linear Arithmetic Dejan Jovanovi´c1 and Leonardo de Moura2 1 2 New York University Add to Reading List Source URL: csl.sri.com Language: English - Date: 2014-06-27 12:47:14 Algebra Mathematics Polynomials Abstract algebra Computer algebra Polynomial Factorization of polynomials Constraint programming Resultant Constraint logic programming Polynomial ring

UPDATE