Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation
Latest Publications

TOTAL DOCUMENTS

29
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer International Publishing

9783319522333, 9783319522340
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

IC3 - Flipping the E in ICE

2017 ◽  
pp. 521-538 ◽  
Author(s):  
Yakir Vizel ◽  
Arie Gurfinkel ◽  
Sharon Shoham ◽  
Sharad Malik

scholarly journals Dynamic Reductions for Model Checking Concurrent Software

2017 ◽  
pp. 246-265 ◽  
Author(s):  
Henning Günther ◽  
Alfons Laarman ◽  
Ana Sokolova ◽  
Georg Weissenbacher
Keyword(s):  
Model Checking ◽  
Concurrent Software

Sound Bit-Precise Numerical Domains

2017 ◽  
pp. 500-520 ◽  
Author(s):  
Tushar Sharma ◽  
Thomas Reps

Structuring Abstract Interpreters Through State and Value Abstractions

2017 ◽  
pp. 112-130 ◽  
Author(s):  
Sandrine Blazy ◽  
David Bühler ◽  
Boris Yakobowski

Conjunctive Abstract Interpretation Using Paramodulation

2017 ◽  
pp. 442-461
Author(s):  
Or Ozeri ◽  
Oded Padon ◽  
Noam Rinetzky ◽  
Mooly Sagiv
Keyword(s):  
Abstract Interpretation

Using Abstract Interpretation to Correct Synchronization Faults

2017 ◽  
pp. 187-208
Author(s):  
Pietro Ferrara ◽  
Omer Tripp ◽  
Peng Liu ◽  
Eric Koskinen
Keyword(s):  
Abstract Interpretation

scholarly journals Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic

2017 ◽  
pp. 462-482 ◽  
Author(s):  
Andrew Reynolds ◽  
Radu Iosif ◽  
Cristina Serban
Keyword(s):  
Separation Logic

scholarly journals Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games

2017 ◽  
pp. 266-287 ◽  
Author(s):  
Ernst Moritz Hahn ◽  
Sven Schewe ◽  
Andrea Turrini ◽  
Lijun Zhang
Keyword(s):  
Recursive Algorithms ◽  
Parity Games

Partitioned Memory Models for Program Analysis

2017 ◽  
pp. 539-558 ◽  
Author(s):  
Wei Wang ◽  
Clark Barrett ◽  
Thomas Wies
Keyword(s):  
Program Analysis ◽  
Memory Models
Load More ...
Sign in / Sign up

Export Citation Format

Share Document