Parsing BDD Stories for Automated Verification of Software Artefacts.
Thiago Rocha SilvaBrian FitzgeraldPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2020)
Keyphrases
- automated verification
- model checking
- formal verification
- software development
- automated reasoning
- software design
- source code
- software systems
- software tools
- software maintenance
- natural language
- software architecture
- temporal logic
- dependency parsing
- natural language processing
- binary decision diagrams
- social networks