Selection of Components in Compositional Verification of Safety Properties
Citation
Export citationShi, 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
2009Type
Degree Name
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 [2496]