Steam Boiler: Extended FOCUS Specification and its Verification in Isabelle/HOL

Dokumenttyp:: Technical Report
Autor(en):: Maria Spichkova
Titel:: Steam Boiler: Extended FOCUS Specification and its Verification in Isabelle/HOL
Abstract:: The main idea of this case study was taken from [1]. This paper represents an extension of the Focus specification [1] of the steam boiler, its translation in Isabelle/HOL [2] and the corresponding formal Isabelle/HOL proofs for the translated specifications, which show that the specified steam boiler architecture fulfills the specified steam boiler requirements.
Stichworte:: FOCUS; Isabelle; HOL; specification; verification; refinement; steam boiler
Jahr:: 2007
Jahr / Monat:: 2007-01-01 00:00:00
Seiten/Umfang:: 20
BibTeX

Vorkommen: