Skip to main content
  • Conference proceedings
  • © 1998

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 info: TACAS 1998.

Buy it now

Buying options

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

This is a preview of subscription content, access via your institution.

Table of contents (29 papers)

  1. Front Matter

  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. Practical model-checking using games

    • Perdita Stevens, Colin Stirling
    Pages 85-101
  7. Mesa: Support for scenario-based design of concurrent systems

    • HanÊne Ben-Abdallah, Stefan Leue
    Pages 118-135
  8. Efficient modeling of memory arrays in symbolic ternary simulation

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

    • A. Pnueli, M. Siegel, E. Singerman
    Pages 151-166
  10. Detecting races in relay ladder logic programs

    • Alexander Aiken, Manuel Fähndrich, Zhendong Su
    Pages 184-200
  11. 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
  12. Tamagotchis need not die — Verification of statemate designs

    • Udo Brockmeyer, Gunnar Wittich
    Pages 217-231
  13. Modeling and verification of sC++ applications

    • Thierry Cattel
    Pages 232-248
  14. Factotum: Automatic and systematic sharing support for systems analyzers

    • David James Sherman, Nicolas Magnier
    Pages 249-262
  15. Model checking via reachability testing for timed automata

    • Luca Aceto, Augusto Burgueño, Kim G. Larsen
    Pages 263-280
  16. Formal design and analysis of a gear controller

    • Magnus Lindahl, Paul Pettersson, Wang Yi
    Pages 281-297

Other Volumes

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

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.

Keywords

  • Algorithms
  • Automat
  • Coq
  • algorithm
  • automata
  • formal verification
  • logic
  • model checking
  • modeling
  • petri net
  • programming
  • real-time
  • verification

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

Buy it now

Buying options

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