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

9783540606307, 9783540485094

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Hierarchical compression for model-checking CSP or how to check 1020 dining philosophers for deadlock

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

10.1007/3-540-60630-0_7 ◽

1995 ◽

pp. 133-152 ◽

Cited By ~ 53

Author(s):

A. W. Roscoe ◽

P. H. B. Gardiner ◽

M. H. Goldsmith ◽

J. R. Hulance ◽

D. M. Jackson ◽

...

Keyword(s):

Model Checking ◽

Hierarchical Compression ◽

Dining Philosophers

Download Full-text

Model checking of non-finite state processes by finite approximations

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

10.1007/3-540-60630-0_10 ◽

1995 ◽

pp. 195-215 ◽

Cited By ~ 4

Author(s):

N. Francesco ◽

A. Fantechi ◽

S. Gnesi ◽

P. Inverardi

Keyword(s):

Model Checking ◽

Finite Approximations ◽

Finite State

Download Full-text

Parallelism for free: Bitvector analyses ⇒ no state explosion!

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

10.1007/3-540-60630-0_13 ◽

1995 ◽

pp. 264-289 ◽

Cited By ~ 3

Author(s):

Jens Knoop ◽

Bernhard Steffen ◽

Jürgen Vollmer

Keyword(s):

State Explosion

Download Full-text

A front-end generator for verification tools

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

10.1007/3-540-60630-0_8 ◽

1995 ◽

pp. 153-173 ◽

Cited By ~ 19

Author(s):

Rance Cleaveland ◽

Eric Madelaine ◽

Steve Sims

Keyword(s):

Front End ◽

Verification Tools

Download Full-text

A user guide to HyTech

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

10.1007/3-540-60630-0_3 ◽

1995 ◽

pp. 41-71 ◽

Cited By ~ 96

Author(s):

Thomas A. Henzinger ◽

Pei -Hsin Ho ◽

Howard Wong-Toi

Download Full-text

Mona: Monadic second-order logic in practice

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

10.1007/3-540-60630-0_5 ◽

1995 ◽

pp. 89-110 ◽

Cited By ~ 77

Author(s):

Jesper G. Henriksen ◽

Jakob Jensen ◽

Michael Jørgensen ◽

Nils Klarlund ◽

Robert Paige ◽

...

Keyword(s):

Second Order ◽

Order Logic ◽

Second Order Logic ◽

Monadic Second Order Logic

Download Full-text

A constraint oriented proof methodology based on modal transition systems

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

10.1007/3-540-60630-0_2 ◽

1995 ◽

pp. 17-40 ◽

Cited By ~ 20

Author(s):

Kim G. Larsen ◽

Bernhard Steffen ◽

Carsten Weise

Keyword(s):

Transition Systems ◽

Modal Transition Systems

Download Full-text

Analytic and locally approximate solutions to properties of probabilistic processes

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

10.1007/3-540-60630-0_9 ◽

1995 ◽

pp. 174-194 ◽

Cited By ~ 2

Author(s):

C. Tofts

Keyword(s):

Approximate Solutions ◽

Probabilistic Processes

Download Full-text

Modal μ-calculus, model checking and Gauß elimination

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

10.1007/3-540-60630-0_4 ◽

1995 ◽

pp. 72-88 ◽

Cited By ~ 8

Author(s):

Angelika Mader

Keyword(s):

Model Checking ◽

Gauss Elimination

Download Full-text

On automatic and interactive design of communicating systems

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

10.1007/3-540-60630-0_11 ◽

1995 ◽

pp. 216-237 ◽

Cited By ~ 2

Author(s):

Jürgen Bohn ◽

Stephan Rössig

Keyword(s):

Interactive 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

Hierarchical compression for model-checking CSP or how to check 1020 dining philosophers for deadlock

Model checking of non-finite state processes by finite approximations

Parallelism for free: Bitvector analyses ⇒ no state explosion!

A front-end generator for verification tools

A user guide to HyTech

Mona: Monadic second-order logic in practice

A constraint oriented proof methodology based on modal transition systems

Analytic and locally approximate solutions to properties of probabilistic processes

Modal μ-calculus, model checking and Gauß elimination

On automatic and interactive design of communicating systems

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