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
      • Computing and Mathematical Sciences Papers
      • View Item
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computing and Mathematical Sciences Papers
      • View Item
      JavaScript is disabled for your browser. Some features of this site may not work without it.

      Modular nonblocking verification using conflict equivalence

      Malik, Robi; Flordal, Hugo
      Thumbnail
      Files
      Malik - Modular nonbllocking.pdf
      162.2Kb
      DOI
       10.1109/WODES.2006.1678415
      Find in your library  
      Citation
      Export citation
      Malik, R. & Flordal, H. (2006). Modular nonblocking verification using conflict equivalence. In Discrete Event Systems, 8th International Workshop, 10-12 July 2006 (pp. 100-106).
      Permanent Research Commons link: https://hdl.handle.net/10289/1338
      Abstract
      This paper proposes a modular approach to verifying

      whether a large discrete event system is nonconflicting.

      The new approach avoids computing the synchronous

      product of a large set of finite-state machines. Instead, the

      synchronous product is computed gradually, and intermediate

      results are simplified using conflict-preserving abstractions

      based on process-algebraic results about fair testing. Heuristics

      are used to choose between different possible abstractions.

      Experimental results show that the method is applicable to

      finite-state machine models of industrial scale and brings

      considerable improvements in performance over other methods.
      Date
      2006-07
      Type
      Conference Contribution
      Publisher
      IEEE
      Rights
      Copyright IEEE 2006
      Collections
      • Computing and Mathematical Sciences Papers [1455]
      Show full item record  

      Usage

      Downloads, last 12 months
      62
       
       
       

      Usage Statistics

      For this itemFor all of Research Commons

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