Preface by the section editor

  • Rance Cleaveland
Special section on alternative approaches to symbolic verification


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).

Key words: Model checking – Symbolic verification – Deductive reasoning – System verification – Formal methods 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 2001

Authors and Affiliations

  • Rance Cleaveland
    • 1
  1. 1.Department of Computer Science, SUNY at Stony Brook, Stony Brook, NY 11794-4400, USAUS

Personalised recommendations