Now showing items 1-1 of 1

    • Software Verification Tools 

      Roosen-Runge, Peter (© P. H. Roosen-Runge, 1999, 2003, 2007, 2008)
      This text explores the problem of verifying software in terms of a set of simple tools which can be used to symbolically evaluate and prove properties of pieces of programs, represented either abstractly in functional ...

      All items in the YorkSpace institutional repository are protected by copyright, with all rights reserved except where explicitly noted.