The validation of formal specifications of requirements

McCluskey, TL; Porteous, JM; Bryant, CH; West, MM

Abstract

We review the approaches put forward to validate formal specifications of requirements, drawing a parallel with research into the validation of knowledge bases. Using an industrial-scale case study we describe a partially implemented, integrated environment for validating requirements stated in many-sorted first order logic. In particular, we show how techniques from machine learning can be used to provide extra tool-support for the validation process.

• Presentation Conference Type: Conference Paper (published)
• Conference Name: 1st BCS-FACS Northern Formal Methods Workshop
• Start Date: Sep 23, 1996
• End Date: Sep 24, 1996
• Online Publication Date: Sep 24, 1996
• Publication Date: Sep 24, 1996
• Deposit Date: Feb 17, 2009
• Publicly Available Date: Feb 17, 2009
• DOI: https://doi.org/10.14236/ewic/FA1996.14
• Publisher URL: https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/FA1996.14
• Additional Information: BCS: British Computer Society FACS: Formal Aspects of Computing Science; Event Type : Conference