Sentence examples for based on model checking from inspiring English sources
For this reason, our approach is more convenient than those based on model checking.
Bøgholm et al. have developed an integrated WCET and scheduling analysis tool based on model checking [62].
The script for events timing is provided during reachability analyses as a txt file that can be loaded in simulation tool The temporal properties of models are explored using methods based on model checking.
Automatic static checkers based on model checking, particularly SAT-based bounded model checkers, are used in industry, but they sometimes suffer from the scalability problem.
This paper proposes a formal verification methodology based on model checking that can be applied to host security verification for grid systems.
In this paper, we define the problem of automatically synthesizing the required plans to execute an agent planning program, propose a solution technique based on model checking of two-player game structures, and use it to characterize the worst-case computational complexity of the problem as EXPTIME-complete.
The verification module is based on model-checking techniques to check the coherence of a modeled legal context at design time is presented and it is exemplified with a case study.
The validation approach is based on model-checking techniques and exploits the verification methodology supported by the Just Another Concurrency Kit (JACK) environment.
CADBIOM overcomes this limitation by implementing tools based on model-checking methods to investigate the reachability of properties instead [ 44, 45].
Based on model-checking methods implemented in the CADBIOM application, we further analyzed all trajectories involved in the regulation of 145 TGF-β target genes included in the model.
Based on model-checking methods, we describe the highly complex signaling trajectories that regulate TGF-β-dependent gene targets and we demonstrate that combinations of TGF-β with other extracellular stimuli lead to non-Smad-dependent pathways.
