Sentence examples for model checking and from inspiring English sources

They are typically used for model checking and interactive execution.

We might need to design more sophisticated methods for model checking and model selection.

These checking activities suggest various techniques such as: static analysis, model checking, and conformity test.

Model checking and failure logic synthesis and analysis (FLSA) are two prominent MBSA paradigms.

Unfortunately, both parameterized model checking and hyperproperty verification are, in general, undecidable.

VyrdMC combines testing, model checking, and Vyrd, the runtime refinement checker we developed earlier.

Among the many areas of application are verification, model checking, and computer aided design.

Among the many areas of application are hardware verification, model checking, and symbolic graph algorithms.

Although the underlying constraint language is a fragment of Presburger arithmetic shown to admit a PSPACE-complete satisfiability problem, we establish that PLTLmod model-checking and satisfiability problems remain in PSPACE as plain LTL (full Presburger LTL is known to be highly undecidable).

Although the procedural verification phase does not require any specific tool or approach, automated tools for model checking and/or theorem proving offer a good trade-off between effort and results.

To foster effective adoption of Smart Home Automation technologies in our home environments, traditional architectural and plant design must be complemented by sound design methodologies and tools, supporting the whole environment design cycle, including for example modeling, simulation and emulation, as well as, when feasible, formal model-checking and verification.