|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 28 publication records. Showing 28 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Bernhard Beckert, Gerwin Klein |
Title, Preface, Table of Contents.  |
VERIFY  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Niusha Hakimipour, Paul A. Strooper, Roger Duke |
Exploring Model-Based Development for the Verification of Real-Time Java Code. |
VERIFY |
2008 |
DBLP BibTeX RDF |
|
| 1 | Hasan Amjad, Richard Bornat |
Model Checking for Stability Analysis in Rely-Guarantee Proofs. |
VERIFY |
2008 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Beckert, Gerwin Klein (eds.) |
Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008 |
VERIFY |
2008 |
DBLP BibTeX RDF |
|
| 1 | Matthias Daum 0001, Jan Dörrenbächer, Sebastian Bogan |
Model Stack for the Pervasive Verification of a Microkernel-based Operating System. |
VERIFY |
2008 |
DBLP BibTeX RDF |
|
| 1 | David A. Cock |
Bitfields and Tagged Unions in C: Verification through Automatic Generation. |
VERIFY |
2008 |
DBLP BibTeX RDF |
|
| 1 | Gurvan Le Guernic |
Precise Dynamic Verification of Confidentiality. |
VERIFY |
2008 |
DBLP BibTeX RDF |
|
| 1 | Simon Bäumler, Florian Nafz, Michael Balser, Wolfgang Reif |
Compositional Proofs with Symbolic Execution. |
VERIFY |
2008 |
DBLP BibTeX RDF |
|
| 1 | Richard Bubel, Reiner Hähnle, Peter H. Schmitt |
Specification Predicates with Explicit Dependency Information. |
VERIFY |
2008 |
DBLP BibTeX RDF |
|
| 1 | Gernot Heiser |
Operating System Verification for Real Use. |
VERIFY |
2008 |
DBLP BibTeX RDF |
|
| 1 | Gilles Barthe |
Certificate Translation. |
VERIFY |
2008 |
DBLP BibTeX RDF |
|
| 1 | Till Mossakowski, Christian Maeder, Klaus Lüttich |
The Heterogeneous Tool Set (Hets). |
VERIFY |
2007 |
DBLP BibTeX RDF |
|
| 1 | André Platzer |
Combining Deduction and Algebraic Constraints for Hybrid System Analysis. |
VERIFY |
2007 |
DBLP BibTeX RDF |
|
| 1 | Tobias Nipkow |
Reflecting Linear Arithmetic: From Dense Linear Orders to Presburger Arithmetic. |
VERIFY |
2007 |
DBLP BibTeX RDF |
|
| 1 | Borislav Gajanovic, Bernhard Rumpe |
ALICE: An Advanced Logic for Interactive Component Engineering. |
VERIFY |
2007 |
DBLP BibTeX RDF |
|
| 1 | Aaron Stump |
Lightweight Verification with Dependent Types. |
VERIFY |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jia Meng, Lawrence C. Paulson, Gerwin Klein |
A Termination Checker for Isabelle Hoare Logic. |
VERIFY |
2007 |
DBLP BibTeX RDF |
|
| 1 | Philipp Rümmer |
A Sequent Calculus for Integer Arithmetic with Counterexample Generation. |
VERIFY |
2007 |
DBLP BibTeX RDF |
|
| 1 | Mamoun Filali |
A Mechanization of Phylogenetic Trees. |
VERIFY |
2007 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Beckert (eds.) |
Proceedings of 4th International Verification Workshop in connection with CADE-21, Bremen, Germany, July 15-16, 2007 |
VERIFY |
2007 |
DBLP BibTeX RDF |
|
| 1 | Eyad Alkassar, Mark A. Hillebrand, Steffen Knapp, Rostislav Rusev, Sergey Tverdyshev |
Formal Device and Programming Model for a Serial Interface. |
VERIFY |
2007 |
DBLP BibTeX RDF |
|
| 1 | Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan 0001 |
A History-based Verification of Distributed Applications. |
VERIFY |
2007 |
DBLP BibTeX RDF |
|
| 1 | Pascal Fontaine |
Combinations of Theories and the Bernays-Schönfinkel-Ramsey Class. |
VERIFY |
2007 |
DBLP BibTeX RDF |
|
| 1 | Peter H. Schmitt, Benjamin Weiß 0001 |
Inferring Invariants by Symbolic Execution. |
VERIFY |
2007 |
DBLP BibTeX RDF |
|
| 1 | Wojciech Mostowski |
Fully Verified Java Card API Reference Implementation. |
VERIFY |
2007 |
DBLP BibTeX RDF |
|
| 1 | Olivera Pavlovic, Ralf Pinger, Maik Kollmann |
Automation of Formal Verification of PLC Programs Written in IL. |
VERIFY |
2007 |
DBLP BibTeX RDF |
|
| 1 | Daniel Larsson, Reiner Hähnle |
Symbolic Fault Injection. |
VERIFY |
2007 |
DBLP BibTeX RDF |
|
| 1 | Cesare Tinelli |
Trends and Challenges in Satisfiability Modulo Theories. |
VERIFY |
2007 |
DBLP BibTeX RDF |
|
Displaying result #1 - #28 of 28 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license