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

9783540643562, 9783540697534

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Experience with literate programming in the modelling and validation of systems

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

10.1007/bfb0054185 ◽

1998 ◽

pp. 393-408 ◽

Cited By ~ 13

Author(s):

Theo C. Ruys ◽

Ed Brinksma

Keyword(s):

Literate Programming

Download Full-text

Verification of large state/event systems using compositionality and dependency analysis

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

10.1007/bfb0054173 ◽

1998 ◽

pp. 201-216 ◽

Cited By ~ 9

Author(s):

JØrn Lind-Nielsen ◽

Henrik Reif Andersen ◽

Gerd Behrmann ◽

Henrik Hulgaard ◽

Kåre Kristoifersen ◽

...

Keyword(s):

Dependency Analysis ◽

Large State ◽

Event Systems

Download Full-text

Formal verification of SDL systems at the siemens mobile phone department

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

10.1007/bfb0054188 ◽

1998 ◽

pp. 439-455 ◽

Cited By ~ 6

Author(s):

Franz Regensburger ◽

Aenne Barnard

Keyword(s):

Mobile Phone ◽

Formal Verification

Download Full-text

Mesa: Support for scenario-based design of concurrent systems

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

10.1007/bfb0054168 ◽

1998 ◽

pp. 118-135 ◽

Cited By ~ 11

Author(s):

HanÊne Ben-Abdallah ◽

Stefan Leue

Keyword(s):

Concurrent Systems

Download Full-text

Practical model-checking using games

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

10.1007/bfb0054166 ◽

1998 ◽

pp. 85-101 ◽

Cited By ~ 36

Author(s):

Perdita Stevens ◽

Colin Stirling

Keyword(s):

Model Checking ◽

Practical Model

Download Full-text

A verified model checker for the modal Μ-calculus in Coq

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

10.1007/bfb0054171 ◽

1998 ◽

pp. 167-183 ◽

Cited By ~ 23

Author(s):

Christoph Sprenger

Keyword(s):

Model Checker

Download Full-text

Verifying networks of timed processes

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

10.1007/bfb0054179 ◽

1998 ◽

pp. 298-312 ◽

Cited By ~ 34

Author(s):

Parosh Aziz Abdulla ◽

Bengt Jonsson

Download Full-text

Deciding fixed and non-fixed size bit-vectors

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

10.1007/bfb0054184 ◽

1998 ◽

pp. 376-392 ◽

Cited By ~ 9

Author(s):

Nikolaj S. BjØrner ◽

Mark C. Pichora

Keyword(s):

Fixed Size

Download Full-text

OPEN/CÆSAR: An open software architecture for verification, simulation, and testing

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

10.1007/bfb0054165 ◽

1998 ◽

pp. 68-84 ◽

Cited By ~ 75

Author(s):

Hubert Garavel

Keyword(s):

Software Architecture

Download Full-text

Formal design and analysis of a gear controller

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

10.1007/bfb0054178 ◽

1998 ◽

pp. 281-297 ◽

Cited By ~ 29

Author(s):

Magnus Lindahl ◽

Paul Pettersson ◽

Wang Yi

Keyword(s):

Formal Design

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

Experience with literate programming in the modelling and validation of systems

Verification of large state/event systems using compositionality and dependency analysis

Formal verification of SDL systems at the siemens mobile phone department

Mesa: Support for scenario-based design of concurrent systems

Practical model-checking using games

A verified model checker for the modal Μ-calculus in Coq

Verifying networks of timed processes

Deciding fixed and non-fixed size bit-vectors

OPEN/CÆSAR: An open software architecture for verification, simulation, and testing

Formal design and analysis of a gear controller

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