|
|||||
|
|
Preface by the section editor |
|
| Authors: | Susanne Graf |
| Affiliation: | (1) VERIMAG, 2 avenue de Vignate, 38610 Grenoble-Gières, France; E-mail: susanne.graf@imag.fr; http://www-verimag.imag.fr/ graf, FR |
| Abstract: | Preliminary versions of the papers of this special section originally appeared in the proceedings of the 6th edition of the conference “Tools and Algorithms for the Construction and Analysis of Systems” (Tacas) held in Berlin early April 2000 as a constituent event of the European joint conferences on Theory and Practice of Software. All papers present tools relevant in the context of systems validation. The first three focus on extensions or particular applications of model-checking techniques, whereas the fourth is about integration of design tools with validation tools, in particular theorem provers and model-checkers. Published online: 24 January 2003 |
| Keywords: | : Goals: Conformance testing – Model-checking – Performance evaluation – Formal verification Techniques: Static analysis – Slicing – Markov chains – Partial-order reductions – Theorem proving – Tool integration Application domains: Asynchronous systems – Probabilistic systems – Security protocols – Component-based approaches |
| 本文献已被 SpringerLink 等数据库收录！ | |