Sentence examples for model checker was from inspiring English sources

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

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.

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

The average execution time recorded for the entire chemotaxis specification considering 500 runs of the model checker was 0 56.18 (minutes:seconds) i.e. less than 50% of the average execution time when each PBLSTL statement was evaluated separately.

The predominant open-source model checker is SPIN.

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.

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.

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

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.