Natural2CTL: A Dataset for Natural Language Requirements and Their CTL Formal Equivalents.
Rim ZrelliHenrique Amaral MissonMaroua Ben AttiaFelipe Gohring de MagalhaesAbdo ShabahGabriela NicolescuPublished in: REFSQ (2024)
Keyphrases
- model checking
- temporal logic
- natural language
- computation tree logic
- formal specification
- temporal properties
- bounded model checking
- formal methods
- minimal change
- linear temporal logic
- real world
- transition systems
- symbolic model checking
- reactive systems
- natural language processing
- modal logic
- formal verification
- natural language interface
- alternating time temporal logic
- language processing
- requirements specification
- benchmark datasets
- formal language
- epistemic logic
- information extraction
- knowledge representation
- semantic analysis
- multi agent systems
- information retrieval
- written in natural language
- database
- dialogue system