Text size
  • Small
  • Medium
  • Large
  • Standard
  • Blue text on blue
  • High contrast (Yellow text on black)
  • Blue text on beige

    The Validation of Formal Specifications of Requirements

    1st BCS-FACS Northern Formal Methods Workshop

    Ilkley, UK. 23rd - 24th September 1996


    T.L. McCluskey, J.M. Porteous, M.M. West & C.H. Bryant


    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.


    PDF filePDF Version of this Paper (100kb)