Sentence examples for used for model checking from inspiring English sources

Posterior predictive simulation was used for model checking as described by Gilks et al. [ 28].

Symbolic algorithms are successfully used for model checking systems that have very large state spaces [ 48].

They are typically used for model checking and interactive execution.

The first temporal formalism considering a linear time structure used for model checking (concurrent systems) was Linear Temporal Logic (LTL) [ 15, 16].

(Y_{0} = left{ {y_{1}^{0}, ldots,y_{M}^{0} } right}) is the actually measured wind power in the target date τ − 1 from M wind farms, which is used for model check in the whole training process.

The benefit of this abstraction is improved scalability for model checking larger specifications using SPIN.

In this direction, efforts into modelling human behaviour combined with models of the system have been used for doing model checking in [88, 89].

In industrial practice the eigensolver is furthermore also often used for model verification, by checking whether there are exactly 6 eigenvalues at 0. Then, if the model is flawed, the singularity may be even higher.

The constraint-solving capabilities of ProB can also be used for model finding, deadlock checking and test-case generation.

Computer aided software engineering tools are used for software modelling, checking for MISRA C compliance and to carry out static and dynamic analysis.

The proposed language can be also used for model validation, that is, for checking constraints on models and transformations.