Validating, verifying and testing timed data-flow reactive systems in Coq from controlled natural-language requirements.
Gustavo CarvalhoIgor MeiraPublished in: Sci. Comput. Program. (2021)
Keyphrases
- data flow
- reactive systems
- control flow
- object oriented software
- controlled natural language
- petri net
- model checking
- software testing
- formal methods
- database machine
- real time systems
- test cases
- temporal logic
- systolic array
- real time
- theorem prover
- object oriented
- formal specification
- semantic representation
- test suite
- workflow management systems
- test set
- software engineering
- natural language
- data mining