The software development project Quest provides tools to build correct software, especially for embedded systems. It connects the CASE-tool AutoFocus to the formal development tool VSE II, and the model checker SMV. To increase quality of non-formally developed programs a test environment is realized, 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.
CITATION STYLE
Slotosch, O. (1999). Overview over the project: Quest. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1641, pp. 346–350). Springer Verlag. https://doi.org/10.1007/3-540-48257-1_25
Mendeley helps you to discover research relevant for your work.