Modelling and testing timed data-flow reactive systems in Coq from controlled natural-language requirements.
Gustavo CarvalhoIgor MeiraPublished in: CoRR (2019)
Keyphrases
- data flow
- reactive systems
- control flow
- object oriented software
- controlled natural language
- formal methods
- petri net
- software testing
- database machine
- test cases
- real time systems
- semantic representation
- temporal logic
- systolic array
- model checking
- object oriented
- workflow management systems
- information flow
- machine learning
- software engineering
- expert systems
- natural language
- data mining
- real time