Topics:

Quest information: feature overview technical overview (2/99)

AutoFocus information: feature overview download and detailed information

AutoFocus/Quest Presentations: NASA LFM 2000 presentation (35 animated ppt-slides, 1.1 MB)

Quest UserGuide

NEW Validas Validator Manual

best tool award of world congress on formal methods 1999

FM99 congress

competition

our contribution, extended abstract (to appear in FACS)

result

new: code generation Traffic Light Example

Repository (Querst format)

Generated Java Code

Generated C Code

the project is carried out for the BSI (Bundesamt für Sicherheit in der Informationstechnik)

in the project the following teams are involved:

TU München: Quest team

DFKI

DB Research

innovative software technologie GmbH

The project consists of the following five main parts:

Formal Proof Tools

Graphical Description Techniques

Test Methods

Model Checking

Tool Integration

important links:

Focus

AutoFocus

Publications related to Quest

Philipps,Slotosch: The Quest for Correct Systems: Model Checking of Diagrams and Datatypes APSEC 99

Broy,Slotosch: Enriching the Software Development Process by Formal Methods LNCS 1641,44-61

Slotosch: Overview over the project Quest LNCS 1641, 346-350

Our internal web pages are for internal discussions (with restriced access)

Our case study web pages are for our case study (with restriced access)