Generation of Formal Requirements from Structured Natural Language
- 18 March 2020
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 19-35
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Requirements Capture and Analysis in ASSERT(TM)2017
- The Kind 2 Model Checker2016
- ARSENAL: Automatic Requirements Specification Extraction from Natural Language2016
- Towards Realizability Checking of Contracts Using Theories2015
- VARED: Verification and analysis of requirements and early designs2014
- The Theory and Practice of SALTLecture Notes in Computer Science, 2011
- RAT: A Tool for the Formal Analysis of Requirements2007
- User guidance for creating precise and accessible property specifications2006
- Patterns in property specifications for finite-state verification1999
- Maintaining knowledge about temporal intervalsCommunications of the ACM, 1983