|
Results
Found 5 publication records. Showing 5 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jean-Christophe Filliâtre |
Deductive software verification.  |
STTT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Bubel, Reiner Hähnle, Benjamin Weiß |
Abstract Interpretation of Symbolic Execution with Explicit State Updates. |
FMCO |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Philipp Rümmer |
A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Cesare Tinelli |
An Abstract Framework for Satisfiability Modulo Theories. |
TABLEAUX |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Tony Hoare, Reiner Hähnle, Douglas R. Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball, Sriram K. Rajamani |
Intelligent Systems and Formal Methods in Software Engineering. |
IEEE Intelligent Systems |
2006 |
DBLP DOI BibTeX RDF |
deductive software verification, software engineering, formal methods, program verification, software synthesis, satisfiability modulo theories |
Displaying result #1 - #5 of 5 (100 per page; Change: )
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")