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

9783540672821, 9783540464198

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems

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

10.1007/3-540-46419-0_19 ◽

2000 ◽

pp. 266-282 ◽

Cited By ~ 4

Author(s):

Jean-Pierre Krimm ◽

Laurent Mounier

Keyword(s):

State Space ◽

Partial Order ◽

State Space Generation

Download Full-text

Integrating Low Level Symmetries into Reachability Analysis

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

10.1007/3-540-46419-0_22 ◽

2000 ◽

pp. 315-330 ◽

Cited By ~ 17

Author(s):

Karsten Schmidt

Keyword(s):

Reachability Analysis ◽

Low Level

Download Full-text

Checking for CFFD-Preorder with Tester Processes

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

10.1007/3-540-46419-0_20 ◽

2000 ◽

pp. 283-298 ◽

Cited By ~ 4

Author(s):

Juhana Helovuo ◽

Antti Valmari

Download Full-text

Model Checking Support for the ASM High-Level Language

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

10.1007/3-540-46419-0_23 ◽

2000 ◽

pp. 331-346 ◽

Cited By ~ 26

Author(s):

Giuseppe Del Castillo ◽

Kirsten Winter

Keyword(s):

Model Checking ◽

High Level Language ◽

High Level

Download Full-text

Partial Order Reductions for Security Protocol Verification

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

10.1007/3-540-46419-0_34 ◽

2000 ◽

pp. 503-518 ◽

Cited By ~ 9

Author(s):

Edmund Clarke ◽

Somesh Jha ◽

Will Marrero

Keyword(s):

Partial Order ◽

Security Protocol ◽

Protocol Verification

Download Full-text

BDD vs. Constraint-Based Model Checking: An Experimental Evaluation for Asynchronous Concurrent Systems

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

10.1007/3-540-46419-0_30 ◽

2000 ◽

pp. 441-456 ◽

Cited By ~ 6

Author(s):

Tevfik Bultan

Keyword(s):

Model Checking ◽

Experimental Evaluation ◽

Concurrent Systems

Download Full-text

Efficient Diagnostic Generation for Boolean Equation Systems

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

10.1007/3-540-46419-0_18 ◽

2000 ◽

pp. 251-265 ◽

Cited By ~ 17

Author(s):

Radu Mateescu

Keyword(s):

Boolean Equation

Download Full-text

Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking

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

10.1007/3-540-46419-0_26 ◽

2000 ◽

pp. 378-395 ◽

Cited By ~ 15

Author(s):

Ramesh Bharadwaj ◽

Steve Sims

Download Full-text

On the Construction of Automata from Linear Arithmetic Constraints

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

10.1007/3-540-46419-0_1 ◽

2000 ◽

pp. 1-19 ◽

Cited By ~ 35

Author(s):

Pierre Wolper ◽

Bernard Boigelot

Keyword(s):

Linear Arithmetic

Download Full-text

VIP: A Visual Editor and Compiler for v-Promela

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

10.1007/3-540-46419-0_32 ◽

2000 ◽

pp. 471-486 ◽

Cited By ~ 9

Author(s):

Moataz Kamel ◽

Stefan Leue

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

Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems

Integrating Low Level Symmetries into Reachability Analysis

Checking for CFFD-Preorder with Tester Processes

Model Checking Support for the ASM High-Level Language

Partial Order Reductions for Security Protocol Verification

BDD vs. Constraint-Based Model Checking: An Experimental Evaluation for Asynchronous Concurrent Systems

Efficient Diagnostic Generation for Boolean Equation Systems

Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking

On the Construction of Automata from Linear Arithmetic Constraints

VIP: A Visual Editor and Compiler for v-Promela

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