Static Analysis - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

25
(FIVE YEARS 0)

H-INDEX

11
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642388552, 9783642388569
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL

2013 ◽  
pp. 412-432 ◽  
Author(s):  
Martin Brain ◽  
Vijay D’Silva ◽  
Alberto Griggio ◽  
Leopold Haller ◽  
Daniel Kroening
Keyword(s):  
Floating Point

scholarly journals Formal Verification of a C Value Analysis Based on Abstract Interpretation

2013 ◽  
pp. 324-344 ◽  
Author(s):  
Sandrine Blazy ◽  
Vincent Laporte ◽  
André Maroneze ◽  
David Pichardie
Keyword(s):  
Formal Verification ◽  
Abstract Interpretation ◽  
Value Analysis ◽  
C Value

Local Shape Analysis for Overlaid Data Structures

2013 ◽  
pp. 150-171 ◽  
Author(s):  
Cezara Drăgoi ◽  
Constantin Enea ◽  
Mihaela Sighireanu
Keyword(s):  
Data Structures ◽  
Shape Analysis ◽  
Local Shape

scholarly journals Automatic Verification of Erlang-Style Concurrency

2013 ◽  
pp. 454-476 ◽  
Author(s):  
Emanuele D’Osualdo ◽  
Jonathan Kochems ◽  
C. -H. Luke Ong
Keyword(s):  
Automatic Verification
Load More ...
Sign in / Sign up

Export Citation Format

Share Document