Skip to main content
SpringerLink
Log in
Book cover
  • 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

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)

Conference series link(s): TACAS: International Conference on Tools and Algorithms for the Construction and Analysis of Systems

Conference proceedings info: TACAS 1998.

Sections

Buy it now

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

    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

  8. Practical model-checking using games

    • Perdita Stevens, Colin Stirling
    Pages 85-101

  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

  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

Back to top

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.
Back to top

Keywords

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

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

Back to top
Access via your institution

Buy it now

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

search

Navigation