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

9783540781622, 9783540781639

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Program Analysis and Programming Languages for Security

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

10.1007/978-3-540-78163-9_5 ◽

2008 ◽

pp. 7-7

Author(s):

Marco Pistoia

Keyword(s):

Programming Languages ◽

Program Analysis

Download Full-text

All You Need Is Compassion

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

10.1007/978-3-540-78163-9_21 ◽

2008 ◽

pp. 233-247 ◽

Cited By ~ 14

Author(s):

Amir Pnueli ◽

Yaniv Sa’ar

Download Full-text

Extending Model Checking with Dynamic Analysis

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

10.1007/978-3-540-78163-9_15 ◽

2008 ◽

pp. 142-156 ◽

Cited By ~ 12

Author(s):

Alex Groce ◽

Rajeev Joshi

Keyword(s):

Model Checking ◽

Dynamic Analysis

Download Full-text

An Improved Tight Closure Algorithm for Integer Octagonal Constraints

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

10.1007/978-3-540-78163-9_6 ◽

2008 ◽

pp. 8-21 ◽

Cited By ~ 12

Author(s):

Roberto Bagnara ◽

Patricia M. Hill ◽

Enea Zaffanella

Keyword(s):

Tight Closure ◽

Closure Algorithm

Download Full-text

Decision Procedures for Multisets with Cardinality Constraints

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

10.1007/978-3-540-78163-9_20 ◽

2008 ◽

pp. 218-232 ◽

Cited By ~ 19

Author(s):

Ruzica Piskac ◽

Viktor Kuncak

Keyword(s):

Decision Procedures ◽

Cardinality Constraints

Download Full-text

Internal and External Logics of Abstract Interpretations

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

10.1007/978-3-540-78163-9_23 ◽

2008 ◽

pp. 263-278 ◽

Cited By ~ 4

Author(s):

David A. Schmidt

Download Full-text

Model Checking for Action Abstraction

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

10.1007/978-3-540-78163-9_13 ◽

2008 ◽

pp. 112-126 ◽

Cited By ~ 3

Author(s):

Harald Fecher ◽

Michael Huth

Keyword(s):

Model Checking

Download Full-text

Approximation Refinement for Interpolation-Based Model Checking

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

10.1007/978-3-540-78163-9_10 ◽

2008 ◽

pp. 68-82 ◽

Cited By ~ 10

Author(s):

Vijay D’Silva ◽

Mitra Purandare ◽

Daniel Kroening

Keyword(s):

Model Checking

Download Full-text

Precise Set Sharing Analysis for Java-Style Programs

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

10.1007/978-3-540-78163-9_17 ◽

2008 ◽

pp. 172-187 ◽

Cited By ~ 3

Author(s):

Mario Méndez-Lojo ◽

Manuel V. Hermenegildo

Keyword(s):

Set Sharing

Download Full-text

Verification of Register Allocators

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

10.1007/978-3-540-78163-9_4 ◽

2008 ◽

pp. 6-6

Author(s):

Jens Palsberg

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Program Analysis and Programming Languages for Security

All You Need Is Compassion

Extending Model Checking with Dynamic Analysis

An Improved Tight Closure Algorithm for Integer Octagonal Constraints

Decision Procedures for Multisets with Cardinality Constraints

Internal and External Logics of Abstract Interpretations

Model Checking for Action Abstraction

Approximation Refinement for Interpolation-Based Model Checking

Precise Set Sharing Analysis for Java-Style Programs

Verification of Register Allocators

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