Guest editors' introduction: Advancements and extensions of verification techniques

Joost-Pieter Katoen, Perdita Stevens

Research output: Contribution to journalArticlepeer-review

Abstract / Description of output

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.
Original languageEnglish
Pages (from-to)99-101
Number of pages3
JournalInternational Journal on Software Tools for Technology Transfer
Issue number2
Publication statusPublished - 2004


Dive into the research topics of 'Guest editors' introduction: Advancements and extensions of verification techniques'. Together they form a unique fingerprint.

Cite this