The Validation of Formal Specifications of Requirements
Thomas Leo McCluskey, Julie Porteous, M.M. West, Christopher H. Bryant · Electronic workshops in computing · 1996
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.