Towards Automatic Generation of Formal Scenarios Specifications from Real-Time Reactive Systems Requirements Written in NL.
Olga OrmandjievaIshrar HussainPublished in: PDPTA (2006)
Keyphrases
- reactive systems
- real time systems
- real time
- formal methods
- temporal logic
- information flow
- model checking
- written in natural language
- control flow
- transition systems
- petri net
- distributed systems
- embedded systems
- low cost
- natural language
- state machines
- formal language
- automatically generate
- formal specification
- software engineering
- functional requirements
- database systems
- machine learning