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 Berlin Heidelberg

9783662491218, 9783662491225

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Model Checking with Multi-threaded IC3 Portfolios

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

10.1007/978-3-662-49122-5_25 ◽

2015 ◽

pp. 517-535 ◽

Cited By ~ 2

Author(s):

Sagar Chaki ◽

Derrick Karimi

Keyword(s):

Model Checking

Download Full-text

Reward-Bounded Reachability Probability for Uncertain Weighted MDPs

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

10.1007/978-3-662-49122-5_17 ◽

2015 ◽

pp. 351-371 ◽

Cited By ~ 6

Author(s):

Vahid Hashemi ◽

Holger Hermanns ◽

Lei Song

Download Full-text

Pointer Race Freedom

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

10.1007/978-3-662-49122-5_19 ◽

2015 ◽

pp. 393-412 ◽

Cited By ~ 4

Author(s):

Frédéric Haziza ◽

Lukáš Holík ◽

Roland Meyer ◽

Sebastian Wolff

Download Full-text

From Low-Level Pointers to High-Level Containers

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

10.1007/978-3-662-49122-5_21 ◽

2015 ◽

pp. 431-452 ◽

Cited By ~ 1

Author(s):

Kamil Dudka ◽

Lukáš Holík ◽

Petr Peringer ◽

Marek Trtík ◽

Tomáš Vojnar

Keyword(s):

Low Level ◽

High Level

Download Full-text

Program Analysis with Local Policy Iteration

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

10.1007/978-3-662-49122-5_6 ◽

2015 ◽

pp. 127-146 ◽

Cited By ~ 8

Author(s):

Egor George Karpenkov ◽

David Monniaux ◽

Philipp Wendler

Keyword(s):

Program Analysis ◽

Policy Iteration ◽

Local Policy

Download Full-text

Lipschitz Robustness of Timed I/O Systems

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

10.1007/978-3-662-49122-5_12 ◽

2015 ◽

pp. 250-267 ◽

Cited By ~ 1

Author(s):

Thomas A. Henzinger ◽

Jan Otop ◽

Roopsha Samanta

Download Full-text

Property Directed Abstract Interpretation

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

10.1007/978-3-662-49122-5_5 ◽

2015 ◽

pp. 104-123 ◽

Cited By ~ 1

Author(s):

Noam Rinetzky ◽

Sharon Shoham

Keyword(s):

Abstract Interpretation

Download Full-text

Exact Heap Summaries for Symbolic Execution

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

10.1007/978-3-662-49122-5_10 ◽

2015 ◽

pp. 206-225 ◽

Cited By ~ 3

Author(s):

Benjamin Hillery ◽

Eric Mercer ◽

Neha Rungta ◽

Suzette Person

Keyword(s):

Symbolic Execution

Download Full-text

Hybrid Analysis for Partial Order Reduction of Programs with Arrays

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

10.1007/978-3-662-49122-5_14 ◽

2015 ◽

pp. 291-310 ◽

Cited By ~ 2

Author(s):

Pavel Parízek

Keyword(s):

Partial Order ◽

Order Reduction ◽

Partial Order Reduction ◽

Hybrid Analysis

Download Full-text

Abstract Interpretation with Infinitesimals

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

10.1007/978-3-662-49122-5_11 ◽

2015 ◽

pp. 229-249 ◽

Cited By ~ 3

Author(s):

Kengo Kido ◽

Swarat Chaudhuri ◽

Ichiro Hasuo

Keyword(s):

Abstract Interpretation

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Model Checking with Multi-threaded IC3 Portfolios

Reward-Bounded Reachability Probability for Uncertain Weighted MDPs

Pointer Race Freedom

From Low-Level Pointers to High-Level Containers

Program Analysis with Local Policy Iteration

Lipschitz Robustness of Timed I/O Systems

Property Directed Abstract Interpretation

Exact Heap Summaries for Symbolic Execution

Hybrid Analysis for Partial Order Reduction of Programs with Arrays

Abstract Interpretation with Infinitesimals

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