Skip to main content
SpringerLink
Log in

Tools and Algorithms for the Construction and Analysis of Systems

Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings.

  • Conference proceedings
  • © 1996

Overview

Editors:
  1. Tiziana Margaria
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Bernhard Steffen
    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 1055)

Included in the following conference series:

Conference proceedings info: TACAS 1996.

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 (33 papers)

  1. Extending promela and spin for real time

    • Stavros Tripakis, Costas Courcoubetis
    Pages 329-348

  2. Reactive EFSMs — Reactive Promela/RSPIN

    • Elie Najm, Frank Olsen
    Pages 349-368

  3. Probabilistic duration automata for analyzing real-time systems

    • Louise E. Moser, P. M. Melliar-Smith
    Pages 369-390

  4. The Concurrency Factory software development environment

    • Ranee Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky
    Pages 391-395

  5. The Fc2Tools set (tool demonstration)

    • Amar Bouali, Annie Ressouche, Valrie Roy, Robert de Simone
    Pages 396-396

  6. PEP — more than a Petri Net tool

    • Bernd Grahlmann, Eike Best
    Pages 397-401

  7. Rapid prototyping for an assertional specification language

    • Jorge Cuéllar, Dieter Barnard, Martin Huber
    Pages 402-406

  8. cTc — A tool supporting the construction of cTLA-Specifications

    • Carsten Heyl, Arnulf Mester, Heiko Krumm
    Pages 407-411

  9. A tool for proving invariance properties of concurrent systems automatically

    • Hassen SaÏdi
    Pages 412-416

  10. Using the constraint language toupie for “Software Cost Reduction” specification analysis

    • Antoine Rauzy
    Pages 417-417

  11. A constraint-oriented Service Creation Environment

    • Bernhard Steffen, Tiziana Margaria, Andreas Cla\en, Volker Braun, Rita Nisius, Manfred Reitenspie\
    Pages 418-421

  12. DFA&OPT-MetaFrame: A tool kit for program analysis and optimization

    • Marion Klein, Dirk Koschützki, Jens Knoop, Bernhard Steffen
    Pages 422-426

  13. A construction and analysis tool based on the stochastic process algebra TIPP

    • Holger Hermanns, Vassilis Mertsiotakis, Michael Rettelbach
    Pages 427-430

  14. Uppaal in 1995

    • Johan Bengtsson, Kim G. Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi
    Pages 431-434

  15. Back Matter

    Download chapter PDF
Back to top

Other volumes

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

Keywords

About this book

This book presents the refereed proceedings of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '96, held in Passau, Germany in March 1996.
The book presents 19 revised full papers selected from a total of 47 submissions together with 11 tool presentations and 3 invited papers. The collection of papers addresses all current aspects of the design and analysis of distributed systems; the volume is organized in topical sections on tools, model checking and testing, security, models and methods, case studies, and logic and programs.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation