Sentence examples for model checking for from inspiring English sources

A tool providing model checking for hybrid automata is used to perform systematic and automatic analysis.

We proposed an approach which combines indexing and model checking for composition and verification of Web services.

This paper presents SymRT, a tool based on a combination of symbolic execution and real-time model checking for timing analysis of Java systems.

We show that while module checking and model checking coincide for the linear-time paradigm, module checking is much harder than model checking for the branching-time paradigm.

In this paper, we introduce the elimination algorithm, which performs, in linear time, minimal model finding and minimal model checking for a significant subclass of positive CNF theories which we call positive head-cycle-free (HCF) theories.

With the decision model checking for each process context whether it should be served by a specific process variant or the standardized master process, the problem complexity grows exponentially with the number of process contexts (2 n ).

Computer aided software engineering tools are used for software modelling, checking for MISRA C compliance and to carry out static and dynamic analysis.

We then sketch a resolution-type proof procedure that complements the tableau calculus and also propose a model checking algorithm for TML+ based on the recent results for model checking procedures for temporalised logics.

The complexity of the satisfiability, validity, and model checking problems for some common logics.

We adapt the MDG model checking algorithms for the treatment of ASM models.

We present a new model checking algorithm for LTL that combines both approaches.