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
|