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

TOTAL DOCUMENTS

(FIVE YEARS 21)

H-INDEX

(FIVE YEARS 2)

Published By Springer International Publishing

9783030393212, 9783030393229

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Solving $$\mathrm {LIA} ^\star $$ Using Approximations

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

10.1007/978-3-030-39322-9_17 ◽

2020 ◽

pp. 360-378

Author(s):

Maxwell Levatich ◽

Nikolaj Bjørner ◽

Ruzica Piskac ◽

Sharon Shoham

Download Full-text

Sharing Ghost Variables in a Collection of Abstract Domains

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

10.1007/978-3-030-39322-9_8 ◽

2020 ◽

pp. 158-179

Author(s):

Marc Chevalier ◽

Jérôme Feret

Keyword(s):

Abstract Domains

Download Full-text

Practical Abstractions for Automated Verification of Shared-Memory Concurrency

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

10.1007/978-3-030-39322-9_19 ◽

2020 ◽

pp. 401-425 ◽

Cited By ~ 1

Author(s):

Wytse Oortwijn ◽

Dilian Gurov ◽

Marieke Huisman

Keyword(s):

Shared Memory ◽

Automated Verification

Download Full-text

A Cooperative Parallelization Approach for Property-Directed k-Induction

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

10.1007/978-3-030-39322-9_13 ◽

2020 ◽

pp. 270-292 ◽

Cited By ~ 2

Author(s):

Martin Blicha ◽

Antti E. J. Hyvärinen ◽

Matteo Marescotti ◽

Natasha Sharygina

Download Full-text

Synthesizing Environment Invariants for Modular Hardware Verification

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

10.1007/978-3-030-39322-9_10 ◽

2020 ◽

pp. 202-225 ◽

Cited By ~ 1

Author(s):

Hongce Zhang ◽

Weikun Yang ◽

Grigory Fedyukovich ◽

Aarti Gupta ◽

Sharad Malik

Keyword(s):

Hardware Verification

Download Full-text

Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction

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

10.1007/978-3-030-39322-9_6 ◽

2020 ◽

pp. 112-135 ◽

Cited By ~ 1

Author(s):

Oren Ish-Shalom ◽

Shachar Itzhaky ◽

Noam Rinetzky ◽

Sharon Shoham

Keyword(s):

Rank Reduction

Download Full-text

A Systematic Approach to Abstract Interpretation of Program Transformations

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

10.1007/978-3-030-39322-9_7 ◽

2020 ◽

pp. 136-157

Author(s):

Sven Keidel ◽

Sebastian Erdweg

Keyword(s):

Systematic Approach ◽

Abstract Interpretation ◽

Program Transformations

Download Full-text

Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification

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

10.1007/978-3-030-39322-9_5 ◽

2020 ◽

pp. 90-111

Author(s):

Jack J. Garzella ◽

Marek Baranowski ◽

Shaobo He ◽

Zvonimir Rakamarić

Keyword(s):

Intermediate Representation ◽

Cross Language

Download Full-text

Witnessing Secure Compilation

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

10.1007/978-3-030-39322-9_1 ◽

2020 ◽

pp. 1-22

Author(s):

Kedar S. Namjoshi ◽

Lucas M. Tabajara

Download Full-text

How to Win First-Order Safety Games

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

10.1007/978-3-030-39322-9_20 ◽

2020 ◽

pp. 426-448

Author(s):

Helmut Seidl ◽

Christian Müller ◽

Bernd Finkbeiner

Keyword(s):

First Order

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Solving $$\mathrm {LIA} ^\star $$ Using Approximations

Sharing Ghost Variables in a Collection of Abstract Domains

Practical Abstractions for Automated Verification of Shared-Memory Concurrency

A Cooperative Parallelization Approach for Property-Directed k-Induction

Synthesizing Environment Invariants for Modular Hardware Verification

Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction

A Systematic Approach to Abstract Interpretation of Program Transformations

Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification

Witnessing Secure Compilation

How to Win First-Order Safety Games

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