Verified Software: Theories, Tools, Experiments - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

21
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540878728, 9783540878735
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Combining Tests and Proofs

2008 ◽  
pp. 4-5
Author(s):  
Madhu Gopinathan ◽  
Aditya Nori ◽  
Sriram Rajamani

Flexible Immutability with Frozen Objects

2008 ◽  
pp. 192-208 ◽  
Author(s):  
K. Rustan M. Leino ◽  
Peter Müller ◽  
Angela Wallenburg

Verified Protection Model of the seL4 Microkernel

2008 ◽  
pp. 99-114 ◽  
Author(s):  
Dhammika Elkaduwe ◽  
Gerwin Klein ◽  
Kevin Elphinstone

Boogie Meets Regions: A Verification Experience Report

2008 ◽  
pp. 177-191 ◽  
Author(s):  
Anindya Banerjee ◽  
Mike Barnett ◽  
David A. Naumann
Keyword(s):  
Experience Report
Load More ...
Sign in / Sign up

Export Citation Format

Share Document