<i>Model Checking</i> Process.

Abstract

<p>Model checker takes the system model and property specification as input and generates two types of output: (1) true which means property is satisfied (2) false with counter example which means property is not satisfied.</p

    Similar works

    Full text

    thumbnail-image

    Available Versions