OBJECTIVES: Formal verification provides an approach to validating the correct behaviour of software and hardware systems. Verification tools have enjoyed a substantial and growing use over the last few years, showing ability to discover subtle flaws. While until recently these tools were viewed as of academic interest only, they are now routinely used in industrial applications.

The aim of the Tools Day is not only to present recent developments in the area, but also to give tools developers and users an opportunity to discuss future trends and needs.

The Tools Day will start with invited lectures focussing on general aspects of tools development. Two sections dedicated to tools presentations are envisaged. The Tools Day will conclude with tools demonstrations and in parallel with a tutorial on the tool UPPAAL to allow to gain a deeper working knowledge of one of the widely used tools.

SCOPE: Papers describing recent work on all aspects of verification tools are solicited as contributions to the Tools Day. Topics of interest include, but are not limited to tools for: verification of timed systems hybrid verification software oriented verification verification of probabilistic systems parallel and distributed verification industrial applications The decision about the acceptance will be made on the base of relevance to the Tools Day and capacity limitations. PROCEEDINGS: The proceedings will be published as a technical report of the Faculty of Informatics at Masaryk University Brno, and will be available at the event. SUBMISSION GUIDELINES: A submission should take the form of a self-contained tool description of no more than 10 pages in postscript or PDF format (LNCS-like style strongly recommended). For the purpose of the tool demonstration the submission should be accompanied by a specification of the hardware, software, and licencing requirements for installing and using the tool. LIST OF ACCEPTED PAPERS

IMPORTANT DATES: June 3, 2002: Submission deadline June 12, 2002: Notification of acceptance Notification has been postponed to June 17. June 28, 2002: Camera ready copy for proceedings August 24, 2002: Meeting Date INVITED SPEAKERS: Kim Guldstrand Larsen (Aalborg University, Denmark) Ziyad Hanna (Intel, Israel) INVITED TUTORIAL: UPPAAL ORGANISING COMMITTEE: Lubos Brim Ivana Cerna Jitka Crhova Pavel Krcal David Safranek Oldrich Strazovsky ADDRESS: Ivana Cerna Tools Day'02, Faculty of Informatics, Masaryk University Brno Botanicka 68a, 60200 Brno, Czech Republic tel: ++420-5-4151 2325, fax: ++420-5-4121 2568