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

TOTAL DOCUMENTS

29

(FIVE YEARS 0)

H-INDEX

10

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540938996, 9783540939009

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Higher-Order Aggregate Update Problem

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

10.1007/978-3-540-93900-9_8 ◽

2008 ◽

pp. 44-58

Author(s):

Christos Dimoulas ◽

Mitchell Wand

Keyword(s):

Download Full-text

Verification of Security Protocols

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

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

2008 ◽

pp. 5-13 ◽

Author(s):

Véronique Cortier

Keyword(s):

Security Protocols

Download Full-text

Model Checking Concurrent Programs

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

10.1007/978-3-540-93900-9_2 ◽

2008 ◽

pp. 2-2

Author(s):

Aarti Gupta

Keyword(s):

Model Checking ◽

Concurrent Programs

Download Full-text

An Abort-Aware Model of Transactional Programming

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

10.1007/978-3-540-93900-9_9 ◽

2008 ◽

pp. 59-73 ◽

Author(s):

Kousha Etessami ◽

Patrice Godefroid

Download Full-text

Constraint-Based Invariant Inference over Predicate Abstraction

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

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

2008 ◽

pp. 120-135 ◽

Author(s):

Sumit Gulwani ◽

Saurabh Srivastava ◽

Ramarathnam Venkatesan

Keyword(s):

Predicate Abstraction

Download Full-text

Monitoring the Full Range of ω-Regular Properties of Stochastic Systems

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

10.1007/978-3-540-93900-9_12 ◽

2008 ◽

pp. 105-119 ◽

Author(s):

Kalpana Gondi ◽

Yogeshkumar Patel ◽

A. Prasad Sistla

Keyword(s):

Stochastic Systems ◽

Download Full-text

An Automata-Theoretic Dynamic Completeness Criterion for Bounded Model-Checking

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

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

2008 ◽

pp. 275-289

Author(s):

Rotem Oshman

Keyword(s):

Model Checking ◽

Bounded Model Checking ◽

Completeness Criterion

Download Full-text

Thread-Modular Shape Analysis

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

10.1007/978-3-540-93900-9_3 ◽

2008 ◽

pp. 3-3

Author(s):

Mooly Sagiv

Keyword(s):

Download Full-text

Mostly-Functional Behavior in Java Programs

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

10.1007/978-3-540-93900-9_7 ◽

2008 ◽

pp. 29-43 ◽

Author(s):

William C. Benton ◽

Charles N. Fischer

Keyword(s):

Functional Behavior ◽

Download Full-text

SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities

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

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

2008 ◽

pp. 229-244 ◽

Author(s):

Vincent Laviron ◽

Francesco Logozzo

Keyword(s):

Linear Inequalities

Download Full-text