![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
FoVeOOS 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.