Sentence examples for model checker is from inspiring English sources

The predominant open-source model checker is SPIN.

Together with state space generation based on shared hash-table and DFS exploration, our CUDA accelerated model checker is the fastest among state-of-the-art shared memory model checking tools.

b The name of the model checker is composed from the uppercase letters in the word MUltiDImensional.

The reason for this is that most of the execution time of the model checker is spent on I/O operations.

The expressiveness and effectiveness of the Maude Fair LTLR model checker are illustrated by five case studies.

To implement the behavior models of resource discovery approach the ArgoUML tool and the NuSMV model checker are employed.

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

The results corresponding to each PBLSTL statement and execution of the model checker are described in Additional file 11.

In order to illustrate the integration of Mudi with a model simulator the model checker was executed initially without making available any STML files.

Though several properties predicted by the synchronous model checker are consistent with existing experiments, this assumption has received critics from some reviewers and other researchers.

In order to decrease the overall execution time the model checker was extended such that it can evaluate the specification comprising all PBLSTL statements in a single run.