Sentence examples for model checking to from inspiring English sources

This paper presents a method, which builds on a previous implementation, that uses a novel combination of psychophysical modeling and formal verification with model checking to detect masking in a modeled configuration of medical alarms.

Second, the framework leverages model checking to validate adaptive Breeze/ADL specifications.

In this case, it is possible to use model checking to verify the designed models automatically.

We address the state explosion problem by applying the principles of symbolic model checking to FTS-based verification of SPLs.

It enables model checking to verify properties (e.g., absence of objectives violations) and especially the synthesis of controllers to enforce properties.

Cavallaro et al. [21] also consider the semantics of data and relies on model checking to identify mapping scripts between interaction protocols automatically.

From this fact, the next challenge is to apply the model checking approach to such hybrid models.

We developed a small model checking tool to automate this analysis.

In this work, we will extend our previous synchronous verification technique and propose an asynchronous model checking method to formally analyze the ER-Golgi-regulated signaling pathways.

The interchange between CCP and a certain subset of Simulink models allows to apply model checking in parallel to quantitative simulation techniques.

The reasoning service of interest in this setting is model checking in contrast to logical implication.