Abstract.
The papers in this special section present a sampling of new symbolic approaches for determining whether or not a system satisfies its specification. Abstracts of these articles appeared originally in the Proceedings of the 1999 Symposium on Tools and Algorithms for the Construction and Analysis of Systems (TACAS ’99).
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Published online: 18 July 2001
Rights and permissions
About this article
Cite this article
Cleaveland, R. Preface by the section editor. STTT 3, 247–249 (2001). https://doi.org/10.1007/s100090100061
Issue Date:
DOI: https://doi.org/10.1007/s100090100061