Sentence examples for model checking approach from inspiring English sources

In this article we analyze the combination of ACOhg, a new metaheuristic algorithm, plus partial order reduction applied to the problem of finding safety property violations in concurrent models using a model checking approach.

In this work, we make use of a model checking approach that is based on a model transformation to validate the automatically derived behavior of a WBSN for health monitoring.

It bases on the model checking approach, but does not require prior full schema of compositions.

This model checking approach allows us to verify temporal relation on the constraints as well.

Therefore the provided answer was computed using the probabilistic black-box model checking approach.

These two rules are investigated by applying model checking approach in a quantitative manner.

Since meta-heuristic algorithms are efficient solutions for searching in the problems with very large state spaces, we use them to find errors (e.g., deadlocks) in systems which cannot be verified through existing model checking approaches due to the state space explosion.

Additional file 4 Semantics of the considered approximate probabilistic model checking approaches.

A description of the semantics of the considered approximate probabilistic model checking approaches.

Due to the high complexity inherent to spatial computational model only approximate probabilistic model checking approaches will be considered throughout.

Relevant comparisons between different approximate probabilistic model checking approaches are given in the original papers introducing them.