Static Analysis - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

25
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer International Publishing

9783319997247, 9783319997254
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Efficiently Learning Safety Proofs from Appearance as well as Behaviours

2018 ◽  
pp. 326-343 ◽  
Author(s):  
Sumanth Prabhu ◽  
Kumar Madhukar ◽  
R. Venkatesh

scholarly journals Abstract Interpretation of Stateful Networks

2018 ◽  
pp. 86-106 ◽  
Author(s):  
Kalev Alpernas ◽  
Roman Manevich ◽  
Aurojit Panda ◽  
Mooly Sagiv ◽  
Scott Shenker ◽  
...  
Keyword(s):  
Abstract Interpretation

Volume-Based Merge Heuristics for Disjunctive Numeric Domains

2018 ◽  
pp. 383-401
Author(s):  
Andrew Ruef ◽  
Kesha Hietala ◽  
Arlen Cox

Verifying Bounded Subset-Closed Hyperproperties

2018 ◽  
pp. 263-283 ◽  
Author(s):  
Isabella Mastroeni ◽  
Michele Pasqua
Keyword(s):  
Bounded Subset
Load More ...
Sign in / Sign up

Export Citation Format

Share Document