@article{Gra03b,
title = { {Tools and Algorithms for the Construction and Analysis of Systems: An STTT special section} },
author = {Graf, Susanne},
month = {feb},
year = {2003},
note = {Introduction to Special Section for TACAS 2000},
journal = {STTT, Software Tools for Technology Transfer},
number = {2},
volume = {4},
team = {DCS},
abstract = {The papers in this special section appeared originally in the proceedings of the 2000 edition of the conference <i>Tools and Algorithms for the Construction and Analysis of Systems</i> (TACAS\\\'2000) hold in Berlin as a constituent event of the European joint conferences on Theory and Practice of Software. All papers present tools relevant in the context of validation of systems. The first three focus on extensions or particular applications of model-checking techniques, whereas the fo urth one is about integration of design tools with validation tools, in particular theorem provers and model-checkers. },
}
