SMT - PDFSEARCH.IO - Document Search Engine

SMT
Results: 999

#	Item
21	SMTCoq: A plug-in for integrating SMT solvers into Coq? Burak Ekici1 , Alain Mebsout1 , Cesare Tinelli1 , Chantal Keller2 , Guy Katz3 , Andrew Reynolds1 , and Clark Barrett3 t Add to Reading List Source URL: mebsout.github.io Language: English - Date: 2017-07-21 11:03:15 Theoretical computer science Mathematics Formal methods Mathematical logic Logic in computer science Electronic design automation NP-complete problems Boolean algebra Satisfiability modulo theories Coq Solver Proof assistant
22	Visualizing SMT-Based Parallel Constraint Solving Jelena Budakovic, Matteo Marescotti, Antti E. J. Hyv¨arinen, and Natasha Sharygina Universit` a della Svizzera italiana, Switzerland Abstract Add to Reading List Source URL: smt-workshop.cs.uiowa.edu Language: English - Date: 2017-09-02 14:08:49 Theoretical computer science Constraint programming Software engineering Electronic design automation Formal methods Logic in computer science NP-complete problems Satisfiability modulo theories Solver Boolean satisfiability problem DPLL algorithm Constraint satisfaction problem
23	Model-Based API Testing for SMT Solvers∗ Aina Niemetz, Mathias Preiner, and Armin Biere Institute for Formal Models and Verification Johannes Kepler University, Linz, Austria Abstract Add to Reading List Source URL: smt-workshop.cs.uiowa.edu Language: English - Date: 2017-09-02 14:08:49 Software testing Theoretical computer science Software engineering Satisfiability modulo theories Solver Test automation Fuzzing Application programming interface Model-based testing API testing
24	Efficient Interpolation for the Theory of Arrays (work in progress) Jochen Hoenicke and Tanja Schindler∗ Department of Computer Science, University of Freiburg Add to Reading List Source URL: smt-workshop.cs.uiowa.edu Language: English - Date: 2017-09-02 14:08:49 Software engineering Computer programming Computing Interpolation Video Video signal Craig interpolation Pure Foreach loop
25	12th International Satisfiability Modulo Theories Competition SMT-COMPMatthias Heizmann (co-organizer) Add to Reading List Source URL: smtcomp.sourceforge.net Language: English - Date: 2018-06-12 08:25:55 Theoretical computer science Logic in computer science Electronic design automation Formal methods NP-complete problems Constraint programming Satisfiability modulo theories Solver Benchmark
26	11th International Satisfiability Modulo Theories Competition SMT-COMPSylvain Conchon Add to Reading List Source URL: smtcomp.sourceforge.net Language: English - Date: 2018-10-23 05:42:33 Computing Theoretical computer science Constraint programming Electronic design automation Logic in computer science Satisfiability modulo theories Benchmark Standard Performance Evaluation Corporation K computer
27	12th International Satisfiability Modulo Theories Competition (SMT-COMP 2017): Rules and Procedures Matthias Heizmann University of Freiburg Germany Add to Reading List Source URL: smtcomp.sourceforge.net Language: English - Date: 2018-06-12 08:25:59 Theoretical computer science Computing NP-complete problems Logic in computer science Constraint programming Electronic design automation Formal methods Satisfiability modulo theories Solver Benchmark Unsatisfiable core Lis
28	Multi-Solver Support in Symbolic Execution Hristina Palikareva, Cristian Cadar SMT Workshop 2014, Vienna, 17 July 2014 Dynamic Symbolic Execution Add to Reading List Source URL: smt2014.it.uu.se Language: English - Date: 2014-07-20 11:22:00 Software engineering Computing Computer programming Cross-platform software High-level programming languages Abstract interpretation Computer science Symbolic execution D Pure Concolic testing
29	Efficient E-matching for SMT Solvers Leonardo de Moura, Nikolaj Bjørner Microsoft Research, Redmond Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2007-07-25 04:45:02 Computer programming Software engineering Combinatorial optimization Matching Monad Conditional
30	An MCSAT treatment of Bit-Vectors (preliminary report) St´ephane Graham-Lengrand1,2 and Dejan Jovanovi´c1 1 2 Add to Reading List Source URL: smt-workshop.cs.uiowa.edu Language: English - Date: 2017-09-02 14:08:49 Theoretical computer science Boolean algebra Computational complexity theory Mathematical logic Formal methods Binary decision diagram Diagrams Model checking Conflict-driven clause learning Boolean satisfiability problem FO