Skip to main content
SpringerLink
Log in
Book cover

Tools and Algorithms for the Construction and Analysis of Systems

4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings

  • Conference proceedings
  • © 1998

Overview

Editors:
  1. 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 1384)

Included in the following conference series:

Conference proceedings info: TACAS 1998.

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

  1. Front Matter

    Download chapter PDF

  2. Formal verification of pipelined processors

    • Randal E. Bryant
    Pages 1-4

  3. Fully local and efficient evaluation of alternating fixed points

    • Xinxin Liu, C. R. Ramakrishnan, Scott A. Smolka
    Pages 5-19

  4. Modular model checking of software

    • Karen Laster, Orna Grumberg
    Pages 20-35

  5. Verification based on local states

    • Michaela Huhn, Peter Niebert, Frank Wallner
    Pages 36-51

  6. Exploiting symmetry in linear time temporal logic model checking: One step beyond

    • K. Ajami, S. Haddad, J. -M. Ilié
    Pages 52-67

  7. OPEN/CÆSAR: An open software architecture for verification, simulation, and testing

    • Hubert Garavel
    Pages 68-84

  8. Practical model-checking using games

    • Perdita Stevens, Colin Stirling
    Pages 85-101

  9. Combining finite automata, parallel programs and SDL using Petri nets

    • Bernd Grahlmann
    Pages 102-117

  10. Mesa: Support for scenario-based design of concurrent systems

    • HanÊne Ben-Abdallah, Stefan Leue
    Pages 118-135

  11. Efficient modeling of memory arrays in symbolic ternary simulation

    • Miroslav N. Velev, Randal E. Bryant
    Pages 136-150

  12. Translation validation

    • A. Pnueli, M. Siegel, E. Singerman
    Pages 151-166

  13. A verified model checker for the modal Μ-calculus in Coq

    • Christoph Sprenger
    Pages 167-183

  14. Detecting races in relay ladder logic programs

    • Alexander Aiken, Manuel Fähndrich, Zhendong Su
    Pages 184-200

  15. Verification of large state/event systems using compositionality and dependency analysis

    • JØrn Lind-Nielsen, Henrik Reif Andersen, Gerd Behrmann, Henrik Hulgaard, KÃ¥re Kristoifersen, Kim G. Larsen
    Pages 201-216

  16. Tamagotchis need not die — Verification of statemate designs

    • Udo Brockmeyer, Gunnar Wittich
    Pages 217-231

  17. Modeling and verification of sC++ applications

    • Thierry Cattel
    Pages 232-248

  18. Factotum: Automatic and systematic sharing support for systems analyzers

    • David James Sherman, Nicolas Magnier
    Pages 249-262

  19. Model checking via reachability testing for timed automata

    • Luca Aceto, Augusto Burgueño, Kim G. Larsen
    Pages 263-280

  20. Formal design and analysis of a gear controller

    • Magnus Lindahl, Paul Pettersson, Wang Yi
    Pages 281-297
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 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'98, held in conjunction with ETAPS in Lisbon, Portugal, in March/April 1998. The 28 revised full papers presented together with an invited talk were selected from a total of 78 submissions. The volume is devoted to conceptual foundations, development, and applications of tools and algorithms for the specification, verification, analysis, and construction of software and hardware systems. The papers are organized in sections on model checking, design and architecture, various applications, fielded applications, verification of real-time systems, mixed analysis techniques, and case studies and experience.

Bibliographic Information

  • Book Title: Tools and Algorithms for the Construction and Analysis of Systems

  • Book Subtitle: 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings

  • Editors: Bernhard Steffen

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/BFb0054159

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1998

  • Softcover ISBN: 978-3-540-64356-2Published: 18 March 1998

  • eBook ISBN: 978-3-540-69753-4Published: 20 May 2003

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XV, 461

  • Topics: Theory of Computation, Logics and Meanings of Programs, Software Engineering, Computer Communication Networks

Publish with us

Policies and ethics

Back to top

Search

Navigation