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
Springer Science & Business Media, Mar 18, 1998 - Computers - 455 pages
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.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Other editions - View all
Tools and Algorithms for the Construction and Analysis of Systems: 4th ...
No preview available - 2003
abstract algorithm application approach automata bisimulation bit-vectors bMSCs checker clock compiler components Computer Science concurrent configuration constraints construction corresponding defined Definition denote E.M. Clarke efficient example execution Figure finite formal formal verification formula function given global graph IEEE implementation infinite initial input interface iteration Lemma literate programming LNCS logic programs loop M-net machines memory method model checking module MuForm node Notes in Computer OPEN/CJESAR operations output partial order partial order reduction performed Petri nets Proc procedure Programming Languages Promela proof protocol quotient structure real-time reduction relay races represented requirements RLL programs ROBDD satisfies sC++ semantics sequence simulation space specification Springer-Verlag STATEMATE structure subset symbolic symmetries synchronous tamagotchi techniques temporal logic test automaton Theorem tool transition relation transition system translation UPPAAL validation variables verification