Sentence examples for model checking of from inspiring English sources

However, the model checking of complex software systems suffers from the state space explosion problem.

However, model checking of distributed algorithms is often intractable because of the state-explosion problem.

This work presents a syntax-directed, modular approach to temporal logic model checking of sequential programs.

Different approximation algorithms have been proposed for model checking of IMCs, with time bounded reachability probabilities playing a pivotal role.

In this paper, we present a SAT-based approach for bounded model checking of Timed Constraint Automata.

To harness Pregel's power, we propose a new vertex centric distributed algorithm for explicit LTL model checking of concurrent systems.

Thereby, the use of the model check of ProB which stops when all operations are covered proves that this invariant is respected by the abstract machine.

The paper describes an approach to apply the formal technique of model checking to the verification of logic controllers within the safety analysis of processing plants.

We address the state explosion problem by applying the principles of symbolic model checking to FTS-based verification of SPLs.

Finally, we evaluated a Bayesian equivalent of goodness of fit of the selected scenario, using the model checking option of D iyABC version 2.0 (Cornuet et al. submitted).

Due to computational constraints, we check a reduced version of the computational model (see the "Model Checking" section of Additional file 1 for details).