Sentence examples for verification of systems from inspiring English sources

In this paper, we propose an approach for the verification of systems using reconfiguration as means of adaptation.

Model generation and minimal model generation is useful for fault analysis, verification of systems and validation of data models.

Much of this development can be attributed to the application of advances in formal logic and its application to fault forecasting and verification of systems.

Optimization will cover the research of the annealing regimes in selected type of furnace atmosphere and in the design of measurement sensors for the purpose of verification of systems for indirect measurement of temperature in the charge.

Much of the development of model-based design and dependability analysis in the design of dependable systems, including software intensive systems, can be attributed to the application of advances in formal logic and its application to fault forecasting and verification of systems.

PRISM is one of the leading tools implementing probabilistic model checking, a technique of formal verification of systems that exhibit a stochastic behavior.

However, it is a semi-formal language and it does not allow verification of system behaviour.

It is often necessary to conduct individual component tests for the prediction and verification of system reliability.

As a result, verification of system properties can be carried out using partial order reductions or invariant based techniques.

This way, not only system-level assertions are reused in lower-levels of abstraction, but also run-time verification of system is provided.

As a result, verification of system properties can be carried out by checking that the formula describing a system implies the formula describing a requirement.