Sentence examples for checking techniques to from inspiring English sources

In particular, the paper shows how to exploit model checking techniques to verify that object classes, designed as subtypes, correctly inherit the behavior of their base classes, according to a notion of substitutability specifically defined for the proposed semantics of object-oriented models.

My research mainly focuses on using formal methods and model checking techniques to build human-aware cyber-physical systems.

We use Model Checking techniques to perform automated verification of the UML design of a WA.

Our previous work [ 6- 9] developed Statistical Model Checking and Symbolic Model Checking techniques to study the intracellular signaling pathways in a single cell.

The second experiment uses the probabilistic model checking technique to calculate the probability of a property to be satisfied, over a stochastic model of the enzymatic reaction (Equation (1)).

Model checking techniques aim to automatically test whether a model meets a given specification.

The goal of this paper is to show how to use probabilistic model checking techniques in order to achieve quantitative performance evaluation of a real-time distributed simulation.

Model checking techniques are used to find a possible solution when a problem is already faced by the system — instead of its original purpose to detect errors on the systems during the design stage.

In this work, finally, we apply the Symbolic Model Checking technique to analyze the complex intercellular network of pancreatic cancer cells and stellate cells.

The resulting C code also gives the possibility to apply other (state-of-the-art) model checking techniques (for C programs) to general filter verification.

Verifying correctness and safety of such systems amounts to model checking the underlying system model, where model checking techniques not only need to be correct but since system sizes increase also scalable and efficient.