formalSpec - Semi-Automatic Formalization of System Requirements for Formal Verification
Axel Busboom, Simone Schuler, Alexander Walsch · EPiC series in computing · 2018
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.