Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

60
(FIVE YEARS 0)

H-INDEX

24
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642026577, 9783642026584
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

InvGen: An Efficient Invariant Generator

2009 ◽  
pp. 634-640 ◽  
Author(s):  
Ashutosh Gupta ◽  
Andrey Rybalchenko

scholarly journals VS3: SMT Solvers for Program Verification

2009 ◽  
pp. 702-708 ◽  
Author(s):  
Saurabh Srivastava ◽  
Sumit Gulwani ◽  
Jeffrey S. Foster
Keyword(s):  
Program Verification ◽  
Smt Solvers

scholarly journals D-Finder: A Tool for Compositional Deadlock Detection and Verification

2009 ◽  
pp. 614-619 ◽  
Author(s):  
Saddek Bensalem ◽  
Marius Bozga ◽  
Thanh-Hung Nguyen ◽  
Joseph Sifakis
Keyword(s):  
Deadlock Detection

scholarly journals Automatic Verification of Integer Array Programs

2009 ◽  
pp. 157-172 ◽  
Author(s):  
Marius Bozga ◽  
Peter Habermehl ◽  
Radu Iosif ◽  
Filip Konečný ◽  
Tomáš Vojnar
Keyword(s):  
Automatic Verification ◽  
Integer Array
Load More ...
Sign in / Sign up

Export Citation Format

Share Document