default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFoVeOOS 2010: Paris, France
- Bernhard Beckert, Claude Marché:
Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6528, Springer 2011, ISBN 978-3-642-18069-9 - June Andronick:
From a Proven Correct Microkernel to Trustworthy Large Systems. 1-9 - Manuel Fähndrich, Francesco Logozzo:
Static Contract Checking with Abstract Interpretation. 10-30 - Davide Ancona, Andrea Corradi, Giovanni Lagorio, Ferruccio Damiani:
Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification? 31-45 - Einar Broch Johnsen, Olaf Owe
, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa:
Validating Timed Models of Deployment Components with Parametric Concurrency. 46-60 - Daniel Bruns, Vladimir Klebanov, Ina Schaefer:
Verification of Software Product Lines with Delta-Oriented Slicing. 61-75 - Christoph Gladisch:
Satisfiability Solving and Model Generation for Quantified First-Order Logic Formulas. 76-91 - Laurent Hubert, Nicolas Barré, Frédéric Besson, Delphine Demange, Thomas P. Jensen, Vincent Monfort, David Pichardie, Tiphaine Turpin:
Sawja: Static Analysis Workshop for Java. 92-106 - Marieke Huisman, Dilian Gurov:
CVPP: A Tool Set for Compositional Verification of Control-Flow Safety Properties. 107-121 - Séverine Maingaud, Vincent Balat, Richard Bubel, Reiner Hähnle, Alexandre Miquel:
Specifying Imperative ML-Like Programs Using Dynamic Logic. 122-137 - Peter H. Schmitt, Mattias Ulbrich, Benjamin Weiß:
Dynamic Frames in Java Dynamic Logic. 138-152 - Asma Tafat, Sylvain Boulmé, Claude Marché:
A Refinement Methodology for Object-Oriented Programs. 153-167 - Mattias Ulbrich:
A Dynamic Logic for Unstructured Programs with Embedded Assertions. 168-182 - Daniel M. Zimmerman, Rinkesh Nagmoti:
JMLUnit: The Next Generation. 183-197
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 2025-01-08 22:51 CET 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:
