Sentence examples for checking techniques in from inspiring English sources

Meanwhile, user requirements are regarded as properties, which can be verified over the model using the model checking techniques, in an on-the-fly manner.

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.

Samples from brains categorized as "Possible controls" are used in rare instances, for example, when tissues are requested to test or titer antibodies, or to adjust reagents, or to check techniques in progress.

First, symbolic model checking techniques, Binary Decision Diagrams in particular, can be used to represent and expand the search space, and to provide an efficient computational platform.

Other model checking techniques for Petri nets are described in ref. [ 58].

Traditional in silico model checking techniques only capture how non-dimensional properties (e.g. concentrations) evolve over time and are suitable for small scale systems (e.g. metabolic pathways).

As a further application of our results, we explain how they can be employed as an abstraction technique in order to enhance model checking techniques.

"Of course, there are many checking techniques available today which weren't available in the past," Glendinning told the Associated Press.

In particular we compare collision checking techniques, sampling techniques, and node adding techniques.

We implement the algorithms in the mbp planner by using symbolic model checking techniques.

This is realized by implementing scalable noninterference checks in the formal framework of a process algebraic architectural description language equipped with equivalence checking techniques.