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

The Complexity of Andersen’s Analysis in Practice

2009 ◽  
pp. 205-221 ◽  
Author(s):  
Manu Sridharan ◽  
Stephen J. Fink

scholarly journals Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships

2009 ◽  
pp. 309-325 ◽  
Author(s):  
Liqian Chen ◽  
Antoine Miné ◽  
Ji Wang ◽  
Patrick Cousot
Keyword(s):  
Linear Relationships ◽  
Interval Linear

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

The Causal Graph Revisited for Directed Model Checking

2009 ◽  
pp. 86-101 ◽  
Author(s):  
Martin Wehrle ◽  
Malte Helmert
Keyword(s):  
Model Checking ◽  
Causal Graph ◽  
Directed Model Checking

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