1. Guest editors’ introduction: Advancements and extensions of verification techniques.
- Author
-
Katoen, Joost-Pieter and Stevens, Perdita
- Subjects
- *
CONFERENCES & conventions , *ALGORITHMS , *COMPUTER software , *COMPUTER-generated imagery - Abstract
This special section is devoted to a selection of journal versions of papers that appeared originally in the Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), which took place in Grenoble, France in April 2002 as a constituent event of the European joint conferences on Theory and Practice of Software (ETAPS). All papers are relevant to the field of systems validation. The first three papers advance and extend model-checking techniques, the fourth presents algorithms for run-time verification, and the last paper is about animation and test generation for formal system specifications. [ABSTRACT FROM AUTHOR]
- Published
- 2004
- Full Text
- View/download PDF