Skip to main content
SpringerLink
Log in

Tools and Algorithms for the Construction and Analysis of Systems

Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings

  • Conference proceedings
  • © 1997

Overview

Editors:
  1. Ed Brinksma
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1217)

Included in the following conference series:

Conference proceedings info: TACAS 1997.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (28 papers)

  1. Front Matter

    Download chapter PDF

  2. Hardware and software synthesis, optimization, and verification from Esterel programs

    • Gérard Berry
    Pages 1-3

  3. Manipulation algorithms for K*BMDs

    • Rolf Drechsler, Bernd Becker, Stefan Ruppertz
    Pages 4-18

  4. Combining partial order and symmetry reductions

    • E. Allen Emerson, Somesh Jha, Doron Peled
    Pages 19-34

  5. Partial model checking with ROBDDs

    • Henrik Reif Andersen, Jørgen Staunstrup, Niels Maretti
    Pages 35-49

  6. Space efficient reachability analysis through use of pseudo-root states

    • Atanas N. Parashkevov, Jay Yantchev
    Pages 50-64

  7. The reference component of PEP

    • Bernd Grahlmann
    Pages 65-80

  8. A tool to support formal reasoning about computer languages

    • Richard J. Boulton
    Pages 81-95

  9. The term processor generator Kimwitu

    • Peter van Eijk, Axel Belinfante, Henk Eertink, Henk Alblas
    Pages 96-111

  10. Graphs in MetaFrame: The unifying power of polymorphism

    • M. von der Beeck, V. Braun, A. Claßen, A. Dannecker, C. Friedrich, D. Koschützki et al.
    Pages 112-129

  11. A tableau system for linear-TIME temporal logic

    • Peter H. Schmitt, Jean Goubault-Larrecq
    Pages 130-144

  12. Model-checking for a subclass of event structures

    • Wojciech Penczek
    Pages 145-164

  13. Real-time logics: Fictitious clock as an abstraction of dense time

    • Jean-François Raskin, Pierre-Yves Schobbens
    Pages 165-182

  14. Mosel: A flexible toolset for monadic second-order logic

    • Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger
    Pages 183-202

  15. A brief introduction to coloured Petri Nets

    • Kurt Jensen
    Pages 203-208

  16. Design/CPN — A computer tool for Coloured Petri Nets

    • Søren Christensen, Jens Bæk Jørgensen, Lars Michael Kristensen
    Pages 209-223

  17. Formal verification of statecharts with instantaneous chain reactions

    • Jan Philipps, Peter Scholz
    Pages 224-238

  18. Compositional state space generation from Lotos programs

    • Jean-Pierre Krimm, Laurent Mounier
    Pages 239-258

  19. Syntactic detection of process divergence and non-local choice in message sequence charts

    • Hanêne Ben-Abdallah, Stefan Leue
    Pages 259-274

  20. An automata based verification environment for mobile processes

    • G. Ferrari, G. Ferro, S. Gnesi, U. Montanari, M. Pistore, G. Ristori
    Pages 275-289
Back to top

Other volumes

  1. Tools and Algorithms for the Construction and Analysis of Systems

Keywords

About this book

This book constitutes the refereed proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '97, held in Enschede, The Netherlands, in April 1997.
The book presents 20 revised full papers and 5 tool demonstrations carefully selected out of 54 submissions; also included are two extended abstracts and a full paper corresponding to invited talks. The papers are organized in topical sections on space reduction techniques, tool demonstrations, logical techniques, verification support, specification and analysis, and theorem proving, model checking and applications.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation