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

      Selection of Components in Compositional Verification of Safety Properties

      Shi, Jinjian
      Thumbnail
      Files
      thesis.pdf
      4.408Mb
      Citation
      Export citation
      Shi, J. (2009). Selection of Components in Compositional Verification of Safety Properties (Thesis, Master of Science (MSc)). The University of Waikato, Hamilton, New Zealand. Retrieved from https://hdl.handle.net/10289/3603
      Permanent Research Commons link: https://hdl.handle.net/10289/3603
      Abstract
      This report presents a two-step components selection method to compose the components for compositional verification. This method employs different methods for the selection of components to be composed during compositional verification. Also, this report presents some automata transformation strategies to improve the efficiency of composing and projection. This enhanced compositional verification method is applied to a set of large and complex realistic industrial examples to evaluate and compare the performance of different methods for components selection. The example profisafe_i6 [MM03] [MM02] [PN02], which was never verified for the language inclusion check before, is verified first by this enhanced compositional verification method.
      Date
      2009
      Type
      Thesis
      Degree Name
      Master of Science (MSc)
      Publisher
      The University of Waikato
      Rights
      All items in Research Commons are provided for private study and research purposes and are protected by copyright with all rights reserved unless otherwise indicated.
      Collections
      • Masters Degree Theses [2388]
      Show full item record  

      Usage

      Downloads, last 12 months
      24
       
       

      Usage Statistics

      For this itemFor all of Research Commons

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