Validating, verifying and testing timed data-flow reactive systems in Coq from controlled natural-language requirements.
Sci. Comput. Program., 2021
Modelling and testing timed data-flow reactive systems in Coq from controlled natural-language requirements.
CoRR, 2019