Dutertre - PDFSEARCH.IO - Document Search Engine

Dutertre
Results: 26

#	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	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
4	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
5	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
6	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
7	2012 Workshop on Fault Diagnosis and Tolerance in Cryptography A DFA on AES based on the entropy of error distributions Ronan Lashermes‡ , Guillaume Reymond‡, Jean-Max Dutertre∗ , Jacques Fournier‡, Bruno Robiss Add to Reading List Source URL: ronan.lashermes.0nline.fr Language: English - Date: 2018-06-22 02:57:34
8	June 28, 2018 Yices Manual VersionBruno Dutertre Add to Reading List Source URL: yices.csl.sri.com Language: English - Date: 2018-06-29 13:55:59 Computing Software Theoretical computer science Array programming languages Constraint programming Electronic design automation Logic in computer science Satisfiability modulo theories GNU Multiple Precision Arithmetic Library R AMPL SageMath
9	Solving Exists/Forall Problems With Yices Extended Abstract Bruno Dutertre Computer Science Laboratory SRI International Add to Reading List Source URL: yices.csl.sri.com Language: English - Date: 2016-07-28 16:53:46 Model theory Logic in computer science Semantics Formal languages Logical truth Satisfiability modulo theories Interpretation Quantifier elimination True quantified Boolean formula Quantifier Substitution Well-formed formula

UPDATE