Sentence examples for check capabilities from inspiring English sources

The suggested algorithm is applied to solve the medium sized numerical example to check capabilities of the model and algorithm.

The suggested algorithm was applied to solve the medium-sized numerical example to check capabilities of the model and algorithm.

The proposed approach employs trusted modules to achieve higher reliability and security levels in space missions due to the presence of integrity check capabilities as well as secure recovery mechanisms.

Z and its derivatives offer correctness-proving tools and model-based checking capabilities.

– Interface is missing to enable other applications to use SW update checking capabilities.

The developed CPS covers all operating procedures including normal, abnormal and emergency, and provides information through workstation consoles using flowchart and tree structure and also has automatic checking capabilities of step logic including continuously applied steps.

By means of an example we show that our approach allows specifying aspects of a distributed system in a Maude-based KLAIM dialect, verifying these specifications using Maude's LTL model checking capabilities, and then executing the verified specifications in a distributed environment.

The user interface for configuring has also been designed with extensive error-checking capabilities to prevent users from misconfiguring the model.

Although many programs and browsers have spell-check capabilities, it's always worth learning how to capitalise correctly.

Copy and paste the text of the Web page into a word processor with spell checking capabilities.

The conducted experiments evaluate the advantages of using cloud tools to offload the model checking capability for applications such as multi-agent systems.