Now showing items 1-1 of 1

    • Finding False Assurance in Formal Verification of Software Systems 

      Ji, Ru (University of Waterloo, 2024-01-15)
      Formal verification plays a crucial role in enhancing the reliability of computing systems by mathematically checking the correctness of a program. Although recent years have witnessed lots of research and applications ...


      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