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

9783540311393, 9783540316220

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Synthesis of Reactive(1) Designs

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

10.1007/11609773_24 ◽

2005 ◽

pp. 364-380 ◽

Cited By ~ 151

Author(s):

Nir Piterman ◽

Amir Pnueli ◽

Yaniv Sa’ar

Download Full-text

Detecting Non-cyclicity by Abstract Compilation into Boolean Functions

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

10.1007/11609773_7 ◽

2005 ◽

pp. 95-110 ◽

Cited By ~ 13

Author(s):

Stefano Rossignoli ◽

Fausto Spoto

Keyword(s):

Boolean Functions

Download Full-text

A Compositional Logic for Control Flow

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

10.1007/11609773_6 ◽

2005 ◽

pp. 80-94 ◽

Cited By ~ 26

Author(s):

Gang Tan ◽

Andrew W. Appel

Keyword(s):

Control Flow ◽

Compositional Logic

Download Full-text

Totally Clairvoyant Scheduling with Relative Timing Constraints

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

10.1007/11609773_26 ◽

2005 ◽

pp. 398-411 ◽

Cited By ~ 2

Author(s):

K. Subramani

Keyword(s):

Timing Constraints ◽

Relative Timing ◽

Relative Timing Constraints

Download Full-text

Monitoring Off-the-Shelf Components

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

10.1007/11609773_15 ◽

2005 ◽

pp. 222-236 ◽

Cited By ~ 6

Author(s):

A. Prasad Sistla ◽

Min Zhou ◽

Lenore D. Zuck

Download Full-text

What’s Decidable About Arrays?

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

10.1007/11609773_28 ◽

2005 ◽

pp. 427-442 ◽

Cited By ~ 116

Author(s):

Aaron R. Bradley ◽

Zohar Manna ◽

Henny B. Sipma

Download Full-text

A CLP Method for Compositional and Intermittent Predicate Abstraction

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

10.1007/11609773_2 ◽

2005 ◽

pp. 17-32 ◽

Cited By ~ 1

Author(s):

Joxan Jaffar ◽

Andrew E. Santosa ◽

Răzvan Voicu

Keyword(s):

Predicate Abstraction

Download Full-text

Parallel External Directed Model Checking with Linear I/O

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

10.1007/11609773_16 ◽

2005 ◽

pp. 237-251 ◽

Cited By ~ 19

Author(s):

Shahid Jabbar ◽

Stefan Edelkamp

Keyword(s):

Model Checking ◽

Directed Model Checking

Download Full-text

Closure Operators for ROBDDs

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

10.1007/11609773_1 ◽

2005 ◽

pp. 1-16 ◽

Cited By ~ 4

Author(s):

Peter Schachte ◽

Harald Søndergaard

Keyword(s):

Closure Operators

Download Full-text

Combining Shape Analyses by Intersecting Abstractions

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

10.1007/11609773_3 ◽

2005 ◽

pp. 33-48 ◽

Cited By ~ 10

Author(s):

Gilad Arnold ◽

Roman Manevich ◽

Mooly Sagiv ◽

Ran Shaham

Keyword(s):

Shape Analyses

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Synthesis of Reactive(1) Designs

Detecting Non-cyclicity by Abstract Compilation into Boolean Functions

A Compositional Logic for Control Flow

Totally Clairvoyant Scheduling with Relative Timing Constraints

Monitoring Off-the-Shelf Components

What’s Decidable About Arrays?

A CLP Method for Compositional and Intermittent Predicate Abstraction

Parallel External Directed Model Checking with Linear I/O

Closure Operators for ROBDDs

Combining Shape Analyses by Intersecting Abstractions

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