Sentence examples for automatic model checking from inspiring English sources

Our approach is specifically designed to allow behavioural properties of BPMN diagrams to be mechanically verified via automatic model checking as provided by the FDR tool.

This specification can be used to drive different activities: rapid prototyping, provision of authoring notations and tools, automatic model checking of properties, importation/exportation from/to standards, and deployment of running applications.

Automatic model checking is used to determine the error-free design of the SIS Safety Instrumented Systemm) and to find the logical errors in the chemical processes.

UPPAAL is a toolbox for validation (via graphical simulation) and verification (via automatic model-checking) of real-time systems.

Moreover we plan also to develop an automatic correctness verification, with model checking techniques, of all the presented framework as in [9, 10, 24].

By utilizing automatic and exhaustive verification of model checking, we found that previous models cannot properly capture essential checkpoint conditions in the presence of timing variations.

A tool providing model checking for hybrid automata is used to perform systematic and automatic analysis.

In this paper we defined and implemented a methodology for the automatic in silico formal validation of computational models using pseudo-3D spatio-temporal model checking.

Considering inherent characteristics of DPRS and real-time system requirements, a semi-automatic model translator converts the UML models of DPRS into timed automata models with transition urgency semantics for model checking.

Model checking.

The model checking layer comprises all supported model checking algorithms.