engleski

Compositional model checking of monadic least fixed point logic

Compositional model checking refers to reducing the problem of model checking some property of the whole system to the problem of model checking its components. In this paper, we investigate compositional approach for model checking monadic least fixed point logic on transition systems assembled from the components by using the $H$-sum and the fusion operator.

model checking; monadic least fixed point logic; compositional verification

nije evidentirano