Sentence examples for model checker designed from inspiring English sources

To assess the HASL defined measures we employ the COSMOS tool, a statistical model checker designed for HASL model checking.

The current version of the model checker was designed to be executed only from the command line.

The treatment is focused on the logic model checker Spin, which was designed for this specific domain of application.

The presented methodology and the model checker Mudi have been designed to not place any restrictions on the relevantly employed modelling formalism.

Then, verifying if a set of properties, expressed in temporal logics, are valid in the designed model, using a model checker.

Although image processing functions were employed here to translate timeseries data to STML the system was designed in a modular fashion such that the model checker Mudi (and the associated binary) is decoupled from the region/cluster detection mechanism (and their implementation).

Moreover, automatic translation procedures from the design models to the NuSMV model checker's code and a verification tool are reported in the paper.

We summarize the foundations, and present the language design and implementation of the Maude Fair LTLR model checker, developed at the C++ level within the Maude system by extending the existing Maude LTL model checker.

In this paper, we describe a model checker Garakabu2, which we have been implementing for verifying HSTM designs against Linear Temporal Logic (LTL) properties.

We are investigating the use of two different model checkers for building VyrdMC: Java PathFinder, an explicit-state model checker and Verisoft, a "stateless" model checker [P. Godefroid. Model Checking for Programming Languages using VeriSoft.

This paper presents and proves a sufficient condition for data independence, expressed in terms of the behaviour of inputs and outputs of a system, that can be checked in practice by a model checker; and it demonstrates how this condition is used in two design applications.