Advertisement

Preface by the section editor

  • Rance Cleaveland
Special section on alternative approaches to symbolic verification
  • 15 Downloads

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

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

Preview

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