Lecture Notes in Computer Science - Tools for Practical Software Verification
Latest Publications

TOTAL DOCUMENTS

6
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642357459, 9783642357466
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

From Program to Logic: An Introduction

2012 ◽  
pp. 31-44 ◽  
Author(s):  
Patrice Godefroid ◽  
Shuvendu K. Lahiri

Advanced Theorem Proving Techniques in PVS and Applications

2012 ◽  
pp. 96-132 ◽  
Author(s):  
César A. Muñoz ◽  
Ramiro A. Demasi
Keyword(s):  
Theorem Proving

scholarly journals Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach

2012 ◽  
pp. 133-155 ◽  
Author(s):  
Julian Tschannen ◽  
Carlo Alberto Furia ◽  
Martin Nordio ◽  
Bertrand Meyer
Keyword(s):  
Object Oriented ◽  
Automatic Verification

scholarly journals Model Checking and the State Explosion Problem

2012 ◽  
pp. 1-30 ◽  
Author(s):  
Edmund M. Clarke ◽  
William Klieber ◽  
Miloš Nováček ◽  
Paolo Zuliani
Keyword(s):  
Model Checking ◽  
The State ◽  
State Explosion ◽  
State Explosion Problem

scholarly journals Using Dafny, an Automatic Program Verifier

2012 ◽  
pp. 156-181 ◽  
Author(s):  
Luke Herbert ◽  
K. Rustan M. Leino ◽  
Jose Quaresma
Keyword(s):  
Automatic Program
Load More ...
Sign in / Sign up

Export Citation Format

Share Document