You have Guest access.
Log In
Claude Marché
Book Chapter
The Why/Krakatoa/Caduceus Platform for Deductive Program Verification (Tool Paper)
Jean-Christophe Filliâtre and Claude Marché
Lecture Notes in Computer Science, 2007, Volume 4590, Computer Aided Verification, Pages 173-177
A Hoare Logic for Call-by-Value Functional Programs
Yann Régis-Gianas and François Pottier
Lecture Notes in Computer Science, 2008, Volume 5133, Mathematics of Program Construction, Pages 305-335
Sufficient Preconditions for Modular Assertion Checking
Yannick Moy
Lecture Notes in Computer Science, 2008, Volume 4905, Verification, Model Checking, and Abstract Interpretation, Pages 188-202
Journal Article
Specification and verification challenges for sequential object-oriented programs
Gary T. Leavens, K. Rustan M. Leino and Peter Müller
Formal Aspects of Computing, 2007, Volume 19, Number 2, Pages 159-189
ILC: A Foundation for Automated Reasoning About Pointer Programs
Limin Jia and David Walker
Lecture Notes in Computer Science, 2006, Volume 3924, Programming Languages and Systems, Pages 131-145
Deductive Verification of System Software in the Verisoft XT Project
Bernhard Beckert and Michał Moskal
KI - Künstliche Intelligenz, 2010, Volume 24, Number 1, Pages 57-61
A Mechanical Analysis of Program Verification Strategies
Sandip Ray, Warren A. Hunt, John Matthews and J. Strother Moore
Journal of Automated Reasoning, 2008, Volume 40, Number 4, Pages 245-269
Reusing a JML Specification Dedicated to Verification for Testing, and Vice-Versa: Case Studies
Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat and Jean-Louis Lanet
Journal of Automated Reasoning, 2010, Volume 45, Number 4, Pages 415-435
Practical Reasoning About Invocations and Implementations of Pure Methods
Ádám Darvas and K. Rustan M. Leino
Lecture Notes in Computer Science, 2007, Volume 4422, Fundamental Approaches to Software Engineering, Pages 336-351
Boogie Meets Regions: A Verification Experience Report
Anindya Banerjee, Mike Barnett and David A. Naumann
Lecture Notes in Computer Science, 2008, Volume 5295, Verified Software: Theories, Tools, Experiments, Pages 177-191
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info