Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

49
(FIVE YEARS 0)

H-INDEX

22
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540374060, 9783540374114
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Repair of Boolean Programs with an Application to C

2006 ◽  
pp. 358-371 ◽  
Author(s):  
Andreas Griesmayer ◽  
Roderick Bloem ◽  
Byron Cook

SMT Techniques for Fast Predicate Abstraction

2006 ◽  
pp. 424-437 ◽  
Author(s):  
Shuvendu K. Lahiri ◽  
Robert Nieuwenhuis ◽  
Albert Oliveras
Keyword(s):  
Predicate Abstraction

scholarly journals Safraless Compositional Synthesis

2006 ◽  
pp. 31-44 ◽  
Author(s):  
Orna Kupferman ◽  
Nir Piterman ◽  
Moshe Y. Vardi
Keyword(s):  
Compositional Synthesis
Load More ...
Sign in / Sign up

Export Citation Format

Share Document