Download PDFOpen PDF in browserformalSpec - Semi-Automatic Formalization of System Requirements for Formal Verification9 pages•Published: February 1, 2017AbstractWe present the proof-of-concept tool formalSpec for semi-automatic translation of system requirements from controlled natural language into hybrid automata. These can be automatically integrated as monitor automata with an existing SpaceEx system model.Keyphrases: controlled natural language, formal methods, formalspec, monitor automata, requirement templates, requirements capture, specification templates, tool, verification In: Goran Frehse and Matthias Althoff (editors). ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems, vol 43, pages 106-114.
|