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

TOTAL DOCUMENTS

25

(FIVE YEARS 0)

H-INDEX

9

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540003489, 9783540363842

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

CHASE:A Static Checker for JML’s Assignable Clause

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

10.1007/3-540-36384-x_6 ◽

2002 ◽

pp. 26-40 ◽

Author(s):

Néstor Cataño ◽

Marieke Huisman

Download Full-text

Automatic Verification by Abstract Interpretation

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

10.1007/3-540-36384-x_4 ◽

2002 ◽

pp. 20-24 ◽

Author(s):

Patrick Cousot

Keyword(s):

Abstract Interpretation ◽

Automatic Verification

Download Full-text

Using Simulated Execution in Verifying Distributed Algorithms

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

10.1007/3-540-36384-x_23 ◽

2002 ◽

pp. 283-297 ◽

Author(s):

Toh Ne Win ◽

Michael D. Ernst ◽

Stephen J. Garland ◽

Dilsun Kýrlý ◽

Nancy A. Lynch

Keyword(s):

Distributed Algorithms

Download Full-text

A Logical Encoding of the π-Calculus: Model Checking Mobile Processes Using Tabled Resolution

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

10.1007/3-540-36384-x_12 ◽

2002 ◽

pp. 116-131 ◽

Author(s):

Ping Yang ◽

C.R. Ramakrishnan ◽

Scott A. Smolka

Keyword(s):

Model Checking ◽

Mobile Processes ◽

Π Calculus ◽

Tabled Resolution

Download Full-text

Symmetry Reductions in Model-Checking

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

10.1007/3-540-36384-x_5 ◽

2002 ◽

pp. 25-25

Author(s):

Aravinda Prasad Sistla

Keyword(s):

Model Checking ◽

Symmetry Reductions

Download Full-text

Abstract Interpretation-Based Certification of Assembly Code

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

10.1007/3-540-36384-x_7 ◽

2002 ◽

pp. 41-55 ◽

Author(s):

Xavier Rival

Keyword(s):

Abstract Interpretation ◽

Download Full-text

Reasoning about Layered Message Passing Systems

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

10.1007/3-540-36384-x_22 ◽

2002 ◽

pp. 268-282 ◽

Author(s):

B. Meenakshi ◽

R. Ramanujam

Keyword(s):

Message Passing

Download Full-text

Model-Checking and Abstraction to the Aid of Parameterized Systems

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

10.1007/3-540-36384-x_2 ◽

2002 ◽

pp. 4-4 ◽

Author(s):

Amir Pnueli ◽

Lenore Zuck

Keyword(s):

Model Checking ◽

Parameterized Systems

Download Full-text

On the Expressiveness of 3-Valued Models

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

10.1007/3-540-36384-x_18 ◽

2002 ◽

pp. 206-222 ◽

Author(s):

Patrice Godefroid ◽

Radha Jagadeesan

Download Full-text

Abstraction of Expectation Functions Using Gaussian Distributions

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

10.1007/3-540-36384-x_15 ◽

2002 ◽

pp. 161-173 ◽

Author(s):

David Monniaux

Keyword(s):

Gaussian Distributions

Download Full-text