Browsing by Subject "Model verification"

Now showing items 1-1 of 1

Selection of Components in Compositional Verification of Safety Properties

Shi, Jinjian (The University of Waikato, 2009)

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 ...