Sentence examples for model checking tools from inspiring English sources

Enumerative model checking tools are limited by the size of the state space to which they can be applied.

We introduce a systematic procedure to translate our model into timed automata so that it is possible to use available model checking tools.

Due to the high degree of parallelism inherent to these applications, the protocol was specified using the LNT value-passing process algebra and verified using the model checking tools available in the CADP toolbox.

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 study assesses the performance of different model checking tools, and strategies for converting activity diagrams into the tools input notation, for a class of real time activity diagrams used in medical device design.

From an analysis model, the approach helps to obtain both a validation model which can be exploited with existing model checking tools and a specific implementation model which conforms to the validated model.

Model checking the design of a software system can be supported by providing an interface from a high-level modelling language, which is suitable for describing software design, to a given model checking tool.

The second uses a model checking tool.

Describes FiSC, a file system model checking tool.

We describe an efficient and scalable approach to formal verification based on an industrial-strength model checking tool and illustrate it with an example.

If the model checking tool detects a violation of the specification, it will give out a counter-example that demonstrates how the specification is violated in the system.