Modelling and testing timed data-flow reactive systems in Coq from controlled natural-language requirements

Gustavo Carvalho, Igor Meira

Data-flow reactive systems (DFRSs) are a class of embedded systems whose inputs and outputs are always available as signals. Input signals can be seen as data provided by sensors,…