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

9783540697350

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Model Checking Nonblocking MPI Programs

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

10.1007/978-3-540-69738-1_3 ◽

2007 ◽

pp. 44-58 ◽

Cited By ~ 28

Author(s):

Stephen F. Siegel

Keyword(s):

Model Checking

Download Full-text

Interpolants and Symbolic Model Checking

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

10.1007/978-3-540-69738-1_6 ◽

2007 ◽

pp. 89-90 ◽

Cited By ~ 6

Author(s):

K. L. McMillan

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Symbolic Model

Download Full-text

Better Under-Approximation of Programs by Hiding Variables

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

10.1007/978-3-540-69738-1_23 ◽

2007 ◽

pp. 314-328

Author(s):

Thomas Ball ◽

Orna Kupferman

Download Full-text

On Flat Programs with Lists

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

10.1007/978-3-540-69738-1_9 ◽

2007 ◽

pp. 122-136 ◽

Cited By ~ 2

Author(s):

Marius Bozga ◽

Radu Iosif

Download Full-text

Language-Based Abstraction Refinement for Hybrid System Verification

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

10.1007/978-3-540-69738-1_11 ◽

2007 ◽

pp. 151-166 ◽

Cited By ~ 1

Author(s):

Felix Klaedtke ◽

Stefan Ratschan ◽

Zhikun She

Keyword(s):

Hybrid System ◽

Abstraction Refinement ◽

System Verification

Download Full-text

Symmetry and Completeness in the Analysis of Parameterized Systems

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

10.1007/978-3-540-69738-1_22 ◽

2007 ◽

pp. 299-313 ◽

Cited By ~ 31

Author(s):

Kedar S. Namjoshi

Keyword(s):

Parameterized Systems

Download Full-text

Automata-Theoretic Model Checking Revisited

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

10.1007/978-3-540-69738-1_10 ◽

2007 ◽

pp. 137-150 ◽

Cited By ~ 43

Author(s):

Moshe Y. Vardi

Keyword(s):

Model Checking ◽

Theoretic Model

Download Full-text

An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures

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

10.1007/978-3-540-69738-1_8 ◽

2007 ◽

pp. 106-121 ◽

Cited By ~ 13

Author(s):

Zvonimir Rakamarić ◽

Jesse Bingham ◽

Alan J. Hu

Keyword(s):

Data Structures ◽

Decision Procedure ◽

Inference Rule ◽

Rule Based ◽

Cyclic Data

Download Full-text

Automated Verification of Shape and Size Properties Via Separation Logic

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

10.1007/978-3-540-69738-1_18 ◽

2007 ◽

pp. 251-266 ◽

Cited By ~ 55

Author(s):

Huu Hai Nguyen ◽

Cristina David ◽

Shengchao Qin ◽

Wei-Ngan Chin

Keyword(s):

Separation Logic ◽

Automated Verification ◽

Shape And Size

Download Full-text

Towards Shape Analysis for Device Drivers

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

10.1007/978-3-540-69738-1_19 ◽

2007 ◽

pp. 267-267

Author(s):

Hongseok Yang

Keyword(s):

Shape Analysis ◽

Device Drivers

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 Nonblocking MPI Programs

Interpolants and Symbolic Model Checking

Better Under-Approximation of Programs by Hiding Variables

On Flat Programs with Lists

Language-Based Abstraction Refinement for Hybrid System Verification

Symmetry and Completeness in the Analysis of Parameterized Systems

Automata-Theoretic Model Checking Revisited

An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures

Automated Verification of Shape and Size Properties Via Separation Logic

Towards Shape Analysis for Device Drivers

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