Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

54
(FIVE YEARS 0)

H-INDEX

20
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540733676
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Revamping TVLA: Making Parametric Shape Analysis Competitive

2007 ◽  
pp. 221-225 ◽  
Author(s):  
Igor Bogudlov ◽  
Tal Lev-Ami ◽  
Thomas Reps ◽  
Mooly Sagiv
Keyword(s):  
Shape Analysis

scholarly journals Comparison Under Abstraction for Verifying Linearizability

2007 ◽  
pp. 477-490 ◽  
Author(s):  
Daphna Amit ◽  
Noam Rinetzky ◽  
Thomas Reps ◽  
Mooly Sagiv ◽  
Eran Yahav

scholarly journals Fast and Accurate Static Data-Race Detection for Concurrent Programs

2007 ◽  
pp. 226-239 ◽  
Author(s):  
Vineet Kahlon ◽  
Yu Yang ◽  
Sriram Sankaranarayanan ◽  
Aarti Gupta
Keyword(s):  
Concurrent Programs ◽  
Data Race ◽  
Data Race Detection ◽  
Race Detection ◽  
Static Data

scholarly journals Array Abstractions from Proofs

2007 ◽  
pp. 193-206 ◽  
Author(s):  
Ranjit Jhala ◽  
Kenneth L. McMillan
Load More ...
Sign in / Sign up

Export Citation Format

Share Document