Now showing items 1-2 of 2

    • Improvements to Transitive-Closure-based Model Checking in Alloy 

      Farheen, Sabria (University of Waterloo, 2018-01-19)
      Model checking, which refers to the verification of temporal properties of a transition system, is a common formal method for verifying models. Transitive-closure-based model checking (TCMC), developed by Vakili et al., ...
    • Temporal Logic Model Checking as Automated Theorem Proving 

      Vakili, Amirhossein (University of Waterloo, 2016-01-19)
      Model checking is an automatic technique for the verification of temporal properties of a system. In this technique, a system is represented as a labelled graph and the specification as a temporal logic formula. The core ...

      UWSpace

      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