We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Guest editors’ introduction: Advancements and extensions of verification techniques.
- Authors
Katoen, Joost-Pieter; Stevens, Perdita
- 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.
- Subjects
GRENOBLE (France); FRANCE; CONFERENCES &; conventions; ALGORITHMS; COMPUTER software; COMPUTER-generated imagery
- Publication
International Journal on Software Tools for Technology Transfer, 2004, Vol 6, Issue 2, p99
- ISSN
1433-2779
- Publication type
Article
- DOI
10.1007/s10009-004-0150-0