Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540008989, 9783540365778

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Counter-Example Guided Predicate Abstraction of Hybrid Systems

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-36577-x_15 ◽

2010 ◽

pp. 208-223 ◽

Cited By ~ 44

Author(s):

Rajeev Alur ◽

Thao Dang ◽

Franjo Ivančić

Keyword(s):

Hybrid Systems ◽

Predicate Abstraction ◽

Counter Example

Download Full-text

Resets vs. Aborts in Linear Temporal Logic

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-36577-x_6 ◽

2003 ◽

pp. 65-80 ◽

Cited By ~ 21

Author(s):

Roy Armoni ◽

Doron Bustan ◽

Orna Kupferman ◽

MosheY. Vardi

Keyword(s):

Temporal Logic ◽

Linear Temporal Logic

Download Full-text

Pattern-Based Abstraction for Verifying Secrecy in Protocols

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-36577-x_22 ◽

2003 ◽

pp. 299-314 ◽

Cited By ~ 8

Author(s):

Liana Bozga ◽

Yassine Lakhnech ◽

Michael Périn

Download Full-text

A Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-36577-x_7 ◽

2003 ◽

pp. 81-96 ◽

Cited By ~ 15

Author(s):

Radu Mateescu

Keyword(s):

Boolean Equation

Download Full-text

On the Universal and Existential Fragments of the μ-Calculus

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-36577-x_5 ◽

2003 ◽

pp. 49-64 ◽

Cited By ~ 2

Author(s):

Thomas A. Henzinger ◽

Orna Kupferman ◽

Rupak Majumdar

Download Full-text

Bounded Model Checking for Past LTL

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-36577-x_3 ◽

2003 ◽

pp. 18-33 ◽

Cited By ~ 23

Author(s):

Marco Benedetti ◽

Alessandro Cimatti

Keyword(s):

Model Checking ◽

Bounded Model Checking

Download Full-text

Automated Module Composition

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-36577-x_25 ◽

2003 ◽

pp. 347-362 ◽

Cited By ~ 3

Author(s):

Stavros Tripakis

Download Full-text

Banana - A Tool for Boundary Ambients Nesting ANAlysis

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-36577-x_32 ◽

2003 ◽

pp. 437-441 ◽

Cited By ~ 2

Author(s):

Chiara Braghin ◽

Agostino Cortesi ◽

Stefano Filippone ◽

Riccardo Focardi ◽

Flaminia L. Luccio ◽

...

Download Full-text

Simple Representative Instantiations for Multicast Protocols

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-36577-x_10 ◽

2003 ◽

pp. 128-143 ◽

Cited By ~ 2

Author(s):

Javier Esparza ◽

Monika Maidl

Keyword(s):

Multicast Protocols

Download Full-text

Optimistic Synchronization-Based State-Space Reduction

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-36577-x_36 ◽

2003 ◽

pp. 489-504 ◽

Cited By ~ 14

Author(s):

Scott D. Stoller ◽

Ernie Cohen

Keyword(s):

State Space ◽

Space Reduction ◽

Optimistic Synchronization ◽

State Space Reduction

Download Full-text

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Counter-Example Guided Predicate Abstraction of Hybrid Systems

Resets vs. Aborts in Linear Temporal Logic

Pattern-Based Abstraction for Verifying Secrecy in Protocols

A Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems

On the Universal and Existential Fragments of the μ-Calculus

Bounded Model Checking for Past LTL

Automated Module Composition

Banana - A Tool for Boundary Ambients Nesting ANAlysis

Simple Representative Instantiations for Multicast Protocols

Optimistic Synchronization-Based State-Space Reduction

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science
Latest Publications