formalSpec - Semi-Automatic Formalization of System Requirements for Formal Verification

Abstract

We 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.