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

TOTAL DOCUMENTS

31

(FIVE YEARS 0)

H-INDEX

10

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540657033, 9783540490593

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

DYANA: An Environment for Embedded System Design and Analysis

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

10.1007/3-540-49059-0_27 ◽

1999 ◽

pp. 390-404 ◽

Author(s):

A. G. Bakhmurov ◽

A. P. Kapitonova ◽

R. L. Smeliansky

Keyword(s):

Embedded System ◽

System Design ◽

Embedded System Design

Download Full-text

On Proving Safety Properties by Integrating Static Analysis, Theorem Proving and Abstraction

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

10.1007/3-540-49059-0_13 ◽

1999 ◽

pp. 178-192 ◽

Author(s):

Vlad Rusu ◽

Eli Singerman

Keyword(s):

Static Analysis ◽

Theorem Proving ◽

Safety Properties

Download Full-text

Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processes

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

10.1007/3-540-49059-0_21 ◽

1999 ◽

pp. 300-314 ◽

Author(s):

Zhoujun Li ◽

Huowang Chen

Keyword(s):

Weak Bisimulation

Download Full-text

Automatic Verification of Cryptographic Protocols through Compositional Analysis Techniques

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

10.1007/3-540-49059-0_11 ◽

1999 ◽

pp. 148-162 ◽

Author(s):

Davide Marchignoli ◽

Fabio Martinelli

Keyword(s):

Compositional Analysis ◽

Cryptographic Protocols ◽

Automatic Verification ◽

Analysis Techniques

Download Full-text

On the Benefits of Using the Up-To Techniques for Bisimulation Verification

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

10.1007/3-540-49059-0_20 ◽

1999 ◽

pp. 285-299 ◽

Author(s):

Daniel Hirschkoff

Download Full-text

Path Exploration Tool

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

10.1007/3-540-49059-0_28 ◽

1999 ◽

pp. 405-419 ◽

Author(s):

Elsa L. Gunter ◽

Doron Peled

Keyword(s):

Exploration Tool

Download Full-text

From DFA-Frameworks to DFA-Generators: A Unifying Multiparadigm Approach

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

10.1007/3-540-49059-0_25 ◽

1999 ◽

pp. 360-374 ◽

Author(s):

Jens Knoop

Download Full-text

Specifications and Proofs for Ensemble Layers

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

10.1007/3-540-49059-0_9 ◽

1999 ◽

pp. 119-134 ◽

Author(s):

Jason Hickey ◽

Nancy Lynch ◽

Robbert van Renesse

Download Full-text

Hardware Testing Using a Communication Protocol Conformance Testing Tool

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

10.1007/3-540-49059-0_22 ◽

1999 ◽

pp. 315-329 ◽

Author(s):

Hakim Kahlouche ◽

César Viho ◽

Massimo Zendri

Keyword(s):

Communication Protocol ◽

Conformance Testing ◽

Testing Tool ◽

Protocol Conformance Testing

Download Full-text

Some Issues in the Software Engineering of Verification Tools

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

10.1007/3-540-49059-0_30 ◽

1999 ◽

pp. 435-438

Author(s):

Perdita Stevens

Keyword(s):

Software Engineering ◽

Verification Tools

Download Full-text