Seamless Runtime Transformations from Natural Language to Formal Methods - A usecase of Z-Notation.
Misbah Mehboob AwanWasi Haider ButtMuhammad Waseem AnwarFarooque AzamPublished in: SoSE (2022)
Keyphrases
- formal methods
- natural language
- modeling language
- formal analysis
- knowledge based systems
- formal specification
- model checking
- safety critical
- software engineering
- model checker
- artificial intelligence
- semantic analysis
- process algebra
- information extraction
- natural language processing
- context awareness
- knowledge representation
- question answering
- development lifecycle
- security properties
- machine learning
- temporal properties
- provably correct
- databases
- formal specification language
- reactive systems
- real world