Static Analysis - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

28
(FIVE YEARS 0)

H-INDEX

12
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540740605, 9783540740612
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Fixpoint-Guided Abstraction Refinements

2007 ◽  
pp. 333-348 ◽  
Author(s):  
Patrick Cousot ◽  
Pierre Ganty ◽  
Jean-François Raskin

scholarly journals Precise Thread-Modular Verification

2007 ◽  
pp. 218-232 ◽  
Author(s):  
Alexander Malkis ◽  
Andreas Podelski ◽  
Andrey Rybalchenko
Keyword(s):  
Modular Verification

Modular Safety Checking for Fine-Grained Concurrency

2007 ◽  
pp. 233-248 ◽  
Author(s):  
Cristiano Calcagno ◽  
Matthew Parkinson ◽  
Viktor Vafeiadis
Keyword(s):  
Fine Grained

Footprint Analysis: A Shape Analysis That Discovers Preconditions

2007 ◽  
pp. 402-418 ◽  
Author(s):  
Cristiano Calcagno ◽  
Dino Distefano ◽  
Peter W. O’Hearn ◽  
Hongseok Yang
Keyword(s):  
Shape Analysis ◽  
Footprint Analysis
Load More ...
Sign in / Sign up

Export Citation Format

Share Document