Research Commons
      • Browse 
        • Communities & Collections
        • Titles
        • Authors
        • By Issue Date
        • Subjects
        • Types
        • Series
      • Help 
        • About
        • Collection Policy
        • OA Mandate Guidelines
        • Guidelines FAQ
        • Contact Us
      • My Account 
        • Sign In
        • Register
      View Item 
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computer Science Working Paper Series
      • 2018 Working Papers
      • View Item
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computer Science Working Paper Series
      • 2018 Working Papers
      • View Item
      JavaScript is disabled for your browser. Some features of this site may not work without it.

      The explicit conflict check algorithm implemented in the Waters library

      Malik, Robi
      Thumbnail
      Files
      uow-cs-wp-2018-01.pdf
      Published version, 202.4Kb
      Find in your library  
      Citation
      Export citation
      Malik, R. (2018). The explicit conflict check algorithm implemented in the Waters library (Working paper No. 01/2018). Hamilton, New Zealand: University of Waikato, Department of Computer Science.
      Permanent Research Commons link: https://hdl.handle.net/10289/12069
      Abstract
      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 states of a synchronous composition. Three alternatives optimised for memory consumption or runtime are described and compared. The algorithms have been implemented in C++ in the discrete event systems library Waters, and experimental results show that they can explore more than 100 million states on standard computers.
      Date
      2018
      Type
      Working Paper
      Series
      Computer Science Working Papers
      Report No.
      01/2018
      Publisher
      Department of Computer Science, The University of Waikato
      Rights
      © 2018 The Authors
      Collections
      • 2018 Working Papers [4]
      Show full item record  

      Usage

      Downloads, last 12 months
      184
       
       

      Usage Statistics

      For this itemFor all of Research Commons

      The University of Waikato - Te Whare Wānanga o WaikatoFeedback and RequestsCopyright and Legal Statement