• The explicit conflict check algorithm implemented in the Waters library

    Malik, Robi (Department of Computer Science, The University of Waikato, 2018)
    This working paper describes the implementation of explicit model checking algorithms to verify the nonblocking or nonconflicting property of discrete event systems. Explicit algorithms enumerate and store all reachable ...

View more