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 Fast and Generalized Polynomial Time Memory Consistency Verification

2006 ◽  
pp. 503-516 ◽  
Author(s):  
Amitabha Roy ◽  
Stephan Zeisset ◽  
Charles J. Fleckenstein ◽  
John C. Huang
Keyword(s):  
Polynomial Time ◽  
Memory Consistency ◽  
Generalized Polynomial ◽  
Consistency Verification

SMT Techniques for Fast Predicate Abstraction

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

Yasm: A Software Model-Checker for Verification and Refutation

2006 ◽  
pp. 170-174 ◽  
Author(s):  
Arie Gurfinkel ◽  
Ou Wei ◽  
Marsha Chechik
Keyword(s):  
Model Checker ◽  
Software Model

scholarly journals Repair of Boolean Programs with an Application to C

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

scholarly journals LEVER: A Tool for Learning Based Verification

2006 ◽  
pp. 471-474 ◽  
Author(s):  
Abhay Vardhan ◽  
Mahesh Viswanathan

scholarly journals Abstraction for Shape Analysis with Fast and Precise Transformers

2006 ◽  
pp. 547-561 ◽  
Author(s):  
Tal Lev-Ami ◽  
Neil Immerman ◽  
Mooly Sagiv
Keyword(s):  
Shape Analysis

scholarly journals Lookahead Widening

2006 ◽  
pp. 452-466 ◽  
Author(s):  
Denis Gopan ◽  
Thomas Reps

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