Now showing items 1-1 of 1

    • Using Software Model Checking for Software Certification 

      Taleghani, Ali (University of Waterloo, 2010-09-13)
      Software certification is defined as the process of independently confirming that a system or component complies with its specified requirements and is acceptable for use. It consists of the following steps: (1) the ...


      University of Waterloo Library
      200 University Avenue West
      Waterloo, Ontario, Canada N2L 3G1
      519 888 4883

      All items in UWSpace are protected by copyright, with all rights reserved.

      DSpace software

      Service outages