Deduction in the Verification Support Environment (VSE)
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
Traffic Lights - An AutoFocus Case Study
CSD '98 Proceedings of the 1998 International Conference on Application of Concurrency to System Design
Tool Supported Specification and Simulation of Distributed Systems
PDSE '98 Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems
From Requirements to Validated Embedded Systems
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
The Quest for Correct Systems: Model Checking of Diagrams and Datatypes
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
A formal verification study on the Rotterdam storm surge barrier
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
| Hi-index | 0.00 |
The software development project Quest provides tools to build correct software, especially for embedded systems. It connects the CASE-tool AUTOFOCUS to the formed development tool VSE II, and the model checker SMV. To increase quality of non-formally developed programs a test environment is reelized, containing a connection to the test-case classification tool CTE. Proving the correctness of the emergency closing system of a storm surge barrier is a running example within the project Quest.