Paper Info
Title
Guest editors’ introduction: Advancements and extensions of verification techniques
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.
Year
DOI
Venue
2004
10.1007/s10009-004-0150-0
STTT
Keywords
DocType
Volume
model-checking technique,probabilistic systems,formal system specification,last paper,international conference,guest editor,journal version,presents algorithm,tools,model checking,constituent event,european joint conference,papers advance,testing,run-time verification,verification technique
Journal
6
Issue
ISSN
Citations 
2
1433-2787
0
PageRank 
References 
Authors
0.34
9
2
Name
Order
Citations
PageRank
Joost-Pieter Katoen14444289.65
Perdita Stevens267658.14