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

TOTAL DOCUMENTS

26

(FIVE YEARS 0)

H-INDEX

13

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540208037, 9783540246220

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On the Expressive Power of Canonical Abstraction

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

10.1007/978-3-540-24622-0_6 ◽

2004 ◽

pp. 58-58

Author(s):

Mooly Sagiv

Keyword(s):

Expressive Power

Download Full-text

A Grand Challenge for Computing: Towards Full Reactive Modeling of a Multi-cellular Animal

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

10.1007/978-3-540-24622-0_26 ◽

2004 ◽

pp. 323-324 ◽

Author(s):

David Harel

Keyword(s):

Grand Challenge

Download Full-text

Static Analysis versus Software Model Checking for Bug Finding

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

10.1007/978-3-540-24622-0_17 ◽

2004 ◽

pp. 191-210 ◽

Author(s):

Dawson Engler ◽

Madanlal Musuvathi

Keyword(s):

Model Checking ◽

Static Analysis ◽

Software Model Checking ◽

Software Model ◽

Download Full-text

Approximate Probabilistic Model Checking

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

10.1007/978-3-540-24622-0_8 ◽

2004 ◽

pp. 73-84 ◽

Author(s):

Thomas Hérault ◽

Richard Lassaigne ◽

Frédéric Magniette ◽

Sylvain Peyronnet

Keyword(s):

Model Checking ◽

Probabilistic Model ◽

Probabilistic Model Checking

Download Full-text

Model Checking Polygonal Differential Inclusions Using Invariance Kernels

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

10.1007/978-3-540-24622-0_11 ◽

2004 ◽

pp. 110-121 ◽

Author(s):

Gordon J. Pace ◽

Gerardo Schneider

Keyword(s):

Model Checking ◽

Differential Inclusions

Download Full-text

History-Dependent Scheduling for Cryptographic Processes

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

10.1007/978-3-540-24622-0_3 ◽

2004 ◽

pp. 16-29

Author(s):

Vincent Vanackère

Download Full-text

Rule-Based Runtime Verification

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

10.1007/978-3-540-24622-0_5 ◽

2004 ◽

pp. 44-57 ◽

Author(s):

Howard Barringer ◽

Allen Goldberg ◽

Klaus Havelund ◽

Koushik Sen

Keyword(s):

Runtime Verification ◽

Download Full-text

Security Types Preserving Compilation

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

10.1007/978-3-540-24622-0_2 ◽

2004 ◽

pp. 2-15 ◽

Author(s):

Gilles Barthe ◽

Amitabh Basu ◽

Tamara Rezk

Download Full-text

Constructing Quantified Invariants via Predicate Abstraction

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

10.1007/978-3-540-24622-0_22 ◽

2004 ◽

pp. 267-281 ◽

Author(s):

Shuvendu K. Lahiri ◽

Randal E. Bryant

Keyword(s):

Predicate Abstraction

Download Full-text

Construction of a Semantic Model for a Typed Assembly Language

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

10.1007/978-3-540-24622-0_4 ◽

2004 ◽

pp. 30-43 ◽

Author(s):

Gang Tan ◽

Andrew W. Appel ◽

Kedar N. Swadi ◽

Dinghao Wu

Keyword(s):

Assembly Language ◽

Semantic Model ◽

Typed Assembly Language

Download Full-text