Login / Signup
Igor Meira
Publication Activity (10 Years)
Years Active: 2019-2021
Publications (10 Years): 2
Top Topics
Database Machine
Object Oriented Software
Controlled Natural Language
Reactive Systems
Top Venues
CoRR
Sci. Comput. Program.
</>
Publications
</>
Gustavo Carvalho
,
Igor Meira
Validating, verifying and testing timed data-flow reactive systems in Coq from controlled natural-language requirements.
Sci. Comput. Program.
201 (2021)
Gustavo Carvalho
,
Igor Meira
Modelling and testing timed data-flow reactive systems in Coq from controlled natural-language requirements.
CoRR
(2019)