Static Analysis - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

23
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642032363, 9783642032370
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Inter-program Properties

2009 ◽  
pp. 343-359 ◽  
Author(s):  
Andrei Voronkov ◽  
Iman Narasamdya

scholarly journals Refinement of Trace Abstraction

2009 ◽  
pp. 69-85 ◽  
Author(s):  
Matthias Heizmann ◽  
Jochen Hoenicke ◽  
Andreas Podelski

scholarly journals Abstraction Refinement for Quantified Array Assertions

2009 ◽  
pp. 3-18 ◽  
Author(s):  
Mohamed Nassim Seghir ◽  
Andreas Podelski ◽  
Thomas Wies
Keyword(s):  
Abstraction Refinement

Inferring Dataflow Properties of User Defined Table Processors

2009 ◽  
pp. 19-35 ◽  
Author(s):  
Songtao Xia ◽  
Manuel Fähndrich ◽  
Francesco Logozzo
Load More ...
Sign in / Sign up

Export Citation Format

Share Document