Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID21st CADE 2007: Bremen, Germany - VERIFY
- Bernhard Beckert:
Proceedings of 4th International Verification Workshop in connection with CADE-21, Bremen, Germany, July 15-16, 2007. CEUR Workshop Proceedings 259, CEUR-WS.org 2007
Abstracts of Invited Talks
- Tobias Nipkow:
Reflecting Linear Arithmetic: From Dense Linear Orders to Presburger Arithmetic. - Aaron Stump:
Lightweight Verification with Dependent Types. - Cesare Tinelli:
Trends and Challenges in Satisfiability Modulo Theories.
Research Papers
- Eyad Alkassar, Mark A. Hillebrand, Steffen Knapp, Rostislav Rusev, Sergey Tverdyshev:
Formal Device and Programming Model for a Serial Interface. - Mamoun Filali:
A Mechanization of Phylogenetic Trees. - Pascal Fontaine:
Combinations of Theories and the Bernays-Schönfinkel-Ramsey Class. - Borislav Gajanovic, Bernhard Rumpe:
ALICE: An Advanced Logic for Interactive Component Engineering. - Bruno Langenstein, Andreas Nonnengart, Georg Rock, Werner Stephan:
A History-based Verification of Distributed Applications. - Daniel Larsson, Reiner Hähnle:
Symbolic Fault Injection. - Jia Meng, Lawrence C. Paulson, Gerwin Klein:
A Termination Checker for Isabelle Hoare Logic. - Till Mossakowski, Christian Maeder, Klaus Lüttich:
The Heterogeneous Tool Set (Hets). - Wojciech Mostowski:
Fully Verified Java Card API Reference Implementation. - Olivera Pavlovic, Ralf Pinger, Maik Kollmann:
Automation of Formal Verification of PLC Programs Written in IL. - André Platzer:
Combining Deduction and Algebraic Constraints for Hybrid System Analysis. - Philipp Rümmer:
A Sequent Calculus for Integer Arithmetic with Counterexample Generation. - Peter H. Schmitt, Benjamin Weiß:
Inferring Invariants by Symbolic Execution.
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-18 20:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
