Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

44
(FIVE YEARS 0)

H-INDEX

16
(FIVE YEARS 0)

Published By Springer International Publishing

9783319216898, 9783319216904
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Property-Directed Inference of Universal Invariants or Proving Their Absence

2015 ◽  
pp. 583-602 ◽  
Author(s):  
A. Karbyshev ◽  
N. Bjørner ◽  
S. Itzhaky ◽  
N. Rinetzky ◽  
S. Shoham

Fairness Modulo Theory: A New Approach to LTL Software Model Checking

2015 ◽  
pp. 49-66 ◽  
Author(s):  
Daniel Dietsch ◽  
Matthias Heizmann ◽  
Vincent Langenfeld ◽  
Andreas Podelski
Keyword(s):  
Model Checking ◽  
Software Model Checking ◽  
New Approach ◽  
Software Model

Effective Search-Space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints

2015 ◽  
pp. 235-254 ◽  
Author(s):  
Yunhui Zheng ◽  
Vijay Ganesh ◽  
Sanu Subramanian ◽  
Omer Tripp ◽  
Julian Dolby ◽  
...  
Keyword(s):  
Search Space ◽  
Regular Expressions ◽  
Search Space Pruning

scholarly journals The SeaHorn Verification Framework

2015 ◽  
pp. 343-361 ◽  
Author(s):  
Arie Gurfinkel ◽  
Temesghen Kahsai ◽  
Anvesh Komuravelli ◽  
Jorge A. Navas
Load More ...
Sign in / Sign up

Export Citation Format

Share Document