From Ambiguity to Explicitness: NLP-Assisted 5G Specification Abstraction for Formal Analysis.
Shiyu YuanJingda YangSudhanshu AryaCarlo LipizziYing WangPublished in: CoRR (2023)
Keyphrases
- formal analysis
- formal methods
- high level
- natural language processing
- ban logic
- question answering
- formal specification
- natural language
- agent model
- artificial intelligence
- model checking
- wordnet
- knowledge based systems
- open source
- information extraction
- case study
- databases
- knowledge acquisition
- text mining
- software engineering
- database systems
- computational linguistics
- temporal abstractions