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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(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

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

10.1007/978-3-319-52234-0_28 ◽

2017 ◽

pp. 521-538 ◽

Cited By ~ 3

Author(s):

Yakir Vizel ◽

Arie Gurfinkel ◽

Sharon Shoham ◽

Sharad Malik

Download Full-text

Dynamic Reductions for Model Checking Concurrent Software

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

10.1007/978-3-319-52234-0_14 ◽

2017 ◽

pp. 246-265 ◽

Cited By ~ 5

Author(s):

Henning Günther ◽

Alfons Laarman ◽

Ana Sokolova ◽

Georg Weissenbacher

Keyword(s):

Model Checking ◽

Concurrent Software

Download Full-text

Sound Bit-Precise Numerical Domains

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

10.1007/978-3-319-52234-0_27 ◽

2017 ◽

pp. 500-520 ◽

Cited By ~ 2

Author(s):

Tushar Sharma ◽

Thomas Reps

Download Full-text

Structuring Abstract Interpreters Through State and Value Abstractions

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

10.1007/978-3-319-52234-0_7 ◽

2017 ◽

pp. 112-130 ◽

Cited By ~ 7

Author(s):

Sandrine Blazy ◽

David Bühler ◽

Boris Yakobowski

Download Full-text

Conjunctive Abstract Interpretation Using Paramodulation

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

10.1007/978-3-319-52234-0_24 ◽

2017 ◽

pp. 442-461

Author(s):

Or Ozeri ◽

Oded Padon ◽

Noam Rinetzky ◽

Mooly Sagiv

Keyword(s):

Abstract Interpretation

Download Full-text

Using Abstract Interpretation to Correct Synchronization Faults

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

10.1007/978-3-319-52234-0_11 ◽

2017 ◽

pp. 187-208

Author(s):

Pietro Ferrara ◽

Omer Tripp ◽

Peng Liu ◽

Eric Koskinen

Keyword(s):

Abstract Interpretation

Download Full-text

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

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

10.1007/978-3-319-52234-0_25 ◽

2017 ◽

pp. 462-482 ◽

Cited By ~ 5

Author(s):

Andrew Reynolds ◽

Radu Iosif ◽

Cristina Serban

Keyword(s):

Separation Logic

Download Full-text

Stabilizing Floating-Point Programs Using Provenance Analysis

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

10.1007/978-3-319-52234-0_13 ◽

2017 ◽

pp. 228-245

Author(s):

Yijia Gu ◽

Thomas Wahl

Keyword(s):

Floating Point ◽

Provenance Analysis

Download Full-text

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

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

10.1007/978-3-319-52234-0_15 ◽

2017 ◽

pp. 266-287 ◽

Cited By ~ 1

Author(s):

Ernst Moritz Hahn ◽

Sven Schewe ◽

Andrea Turrini ◽

Lijun Zhang

Keyword(s):

Recursive Algorithms ◽

Parity Games

Download Full-text

Partitioned Memory Models for Program Analysis

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

10.1007/978-3-319-52234-0_29 ◽

2017 ◽

pp. 539-558 ◽

Cited By ~ 7

Author(s):

Wei Wang ◽

Clark Barrett ◽

Thomas Wies

Keyword(s):

Program Analysis ◽

Memory Models

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

IC3 - Flipping the E in ICE

Dynamic Reductions for Model Checking Concurrent Software

Sound Bit-Precise Numerical Domains

Structuring Abstract Interpreters Through State and Value Abstractions

Conjunctive Abstract Interpretation Using Paramodulation

Using Abstract Interpretation to Correct Synchronization Faults

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

Stabilizing Floating-Point Programs Using Provenance Analysis

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

Partitioned Memory Models for Program Analysis

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