C3 - PDFSEARCH.IO - Document Search Engine

C3
Results: 2873

#	Item
1	Finding Inconsistencies in Programs with Loops? Temesghen Kahsai1 , Jorge A. Navas2 , Dejan Jovanovi´c3 , Martin Sch¨af3 1 2 Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Software engineering Programming language theory Computing Logic in computer science Horn clause Control flow ALGOL 68 Formal methods Logic programming
2	Finding Inconsistencies in Programs with Loops? Temesghen Kahsai1 , Jorge A. Navas2 , Dejan Jovanovi´c3 , Martin Sch¨af3 1 2 Add to Reading List Source URL: csl.sri.com Language: English - Date: 2015-09-28 14:39:27 Software engineering Programming language theory Computing Logic in computer science Horn clause Control flow ALGOL 68 Formal methods Logic programming
3	A Tale Of Two Solvers: Eager and Lazy Approaches to Bit-vectors? Liana Hadarean1 , Kshitij Bansal1 , Dejan Jovanovi´c3 , Clark Barrett1 , and Cesare Tinelli2 1 2 Add to Reading List Source URL: csl.sri.com Language: English - Date: 2014-06-27 13:33:30 Theoretical computer science Computational complexity theory Mathematics Logic in computer science Electronic design automation Formal methods NP-complete problems Boolean algebra Satisfiability modulo theories Boolean satisfiability problem Conflict-driven clause learning Solver
4	Finding Inconsistencies in Programs with Loops? Temesghen Kahsai1 , Jorge A. Navas2 , Dejan Jovanovi´c3 , Martin Sch¨af3 1 2 Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Software engineering Programming language theory Computing Logic in computer science Horn clause Control flow ALGOL 68 Formal methods Logic programming
5	Designing Theory Solvers with Extensions Andrew Reynolds1 , Cesare Tinelli1 , Dejan1 Jovanovi´c3 , and Clark Barrett2 1 Department of Computer Science, The University of Iowa Department of Computer Science, Stanford Uni Add to Reading List Source URL: csl.sri.com Language: English - Date: 2018-04-25 11:34:43 Theoretical computer science Mathematics Mathematical logic Logic in computer science Automated theorem proving Electronic design automation Formal methods NP-complete problems Satisfiability modulo theories Boolean satisfiability problem Substitution Model theory
6	Finding Inconsistencies in Programs with Loops? Temesghen Kahsai1 , Jorge A. Navas2 , Dejan Jovanovi´c3 , Martin Sch¨af3 1 2 Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Software engineering Programming language theory Computing Logic in computer science Horn clause Control flow ALGOL 68 Formal methods Logic programming
7	PDF Document Add to Reading List Source URL: www.c3.kumamoto-u.ac.jp - Date: 2017-03-20 22:05:58
8	PDF Document Add to Reading List Source URL: www.c3.kumamoto-u.ac.jp - Date: 2017-03-20 22:05:58
9	PDF Document Add to Reading List Source URL: c3.usac.edu.gt - Date: 2018-03-08 17:26:18
10	PDF Document Add to Reading List Source URL: c3.usac.edu.gt - Date: 2018-03-08 17:49:03