Tools and Algorithms for the Construction and Analysis of Systems

5th International Conference, TACAS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands, March 22–28, 1999 Proceedings

  • W. Rance Cleaveland
Conference proceedings TACAS 1999

DOI: 10.1007/3-540-49059-0

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

Table of contents (31 papers)

  1. Front Matter
    Pages I-XI
  2. Invited Contribution

    1. Modeling for Mere Mortals
      Jeff Kramer, Jeff Magee
      Pages 1-18
  3. Real-Time

    1. Scheduling System Verification
      Pao-Ann Hsiung, Farn Wang, Yue-Sun Kuo
      Pages 19-33
    2. A Period Assignment Algorithm for Real-Time System Design
      Minsoo Ryu, Seongsoo Hong
      Pages 34-43
    3. Analyzing Stochastic Fixed-Priority Real-Time Systems
      Mark K. Gardner, Jane W. S. Liu
      Pages 44-58
    4. Timed Diagnostics for Reachability Properties
      Stavros Tripakis
      Pages 59-73
  4. Case Studies

    1. Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools
      Yifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka et al.
      Pages 74-88
    2. Specifications and Proofs for Ensemble Layers
      Jason Hickey, Nancy Lynch, Robbert van Renesse
      Pages 119-134
  5. Compositionality and Abstraction

    1. An Automated Analysis of Ping-Pong Interactions in E-Mail Services
      Anne Bergeron, Jean-Christophe Manzoni
      Pages 134-147
    2. Verification of Hierarchical State/Event Systems Using Reusability and Compositionality
      Gerd Behrmann, Kim G. Larsen, Henrik R. Andersen, Henrik Hulgaard, Jørn Lind-Nielsen
      Pages 163-177
  6. Symbolic Analysis

    1. Symbolic Model Checking without BDDs
      Armin Biere, Alessandro Cimatti, Edmund Clarke, Yunshan Zhu
      Pages 193-207
    2. Symbolic Verification of Lossy Channel Systems: Application to the Bounded Retransmission Protocol
      Parosh Abdulla, Aurore Annichini, Ahmed Bouajjani
      Pages 208-222
    3. Model Checking in CLP
      Giorgio Delzanno, Andreas Podelski
      Pages 223-239
  7. Process Algebra

    1. Finite State Verification for the Asynchronous π-Calculus
      Ugo Montanari, Marco Pistore
      Pages 255-269
    2. Process Algebra in PVS
      Twan Basten, Jozef Hooman
      Pages 270-284

About these proceedings


ETAPS’99 is the second instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprises ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), four satellite workshops (CMCS, AS, WAGA, CoFI), seven invited lectures, two invited tutorials, and six contributed tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Dieren t blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.


Algorithms Analysis Formal Methods Real-Time Systems Software Tols Systems Analysis Systems Design algebra algorithm real-time system

Editors and affiliations

  • W. Rance Cleaveland
    • 1
  1. 1.Department of Computer ScienceState University of New York at Stony BrookStony BrookUSA

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 1999
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-65703-3
  • Online ISBN 978-3-540-49059-3
  • Series Print ISSN 0302-9743