Formal Specifications from Natural Language.
Christopher HahnFrederik SchmittJulia J. TillmanNiklas MetzgerJulian SiberBernd FinkbeinerPublished in: CoRR (2022)
Keyphrases
- formal specification
- natural language
- object oriented design
- model checking
- specification languages
- specification language
- reverse engineering
- question answering
- design methodology
- natural language processing
- semantic analysis
- formal methods
- concurrent systems
- knowledge representation
- general purpose
- process algebra
- machine learning
- real world
- formal specification language
- databases
- temporal logic
- information extraction
- cooperative
- software components
- expert systems