Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks. [PDF]
Sensors (Basel), 2022 Zbrzezny AM, Zbrzezny A.
europepmc +1 more source
Model Checking with Right Censored Data Using Relative Belief Ratio. [PDF]
Entropy (Basel), 2022 Al-Labadi L, Alzaatreh A, Asuncion M.
europepmc +1 more source
A formal analysis method for composition protocol based on model checking. [PDF]
Sci Rep, 2022 Xiao M +4 more
europepmc +1 more source
Model Checking Fuzzy Computation Tree Logic Based on Fuzzy Decision Processes with Cost. [PDF]
Entropy (Basel), 2022 Ma Z, Li Z, Li W, Gao Y, Li X.
europepmc +1 more source
Model Checking Autonomous Components within Electric Power Systems Specified by Interpreted Petri Nets. [PDF]
Sensors (Basel), 2022 Grobelna I, Szcześniak P.
europepmc +1 more source
Counterexample Generation for Probabilistic Model Checking Micro-Scale Cyber-Physical Systems. [PDF]
Micromachines (Basel), 2021 Liu Y, Ma Y, Yang Y, Zheng T.
europepmc +1 more source
The application of adaptive symmetry reduction for LTL model checking
Моделирование и анализ информационных систем, 2010 Adaptive symmetry reduction is a technique which exploits the similarity of com- ponents in systems of regular structure. It helps to reduce the effect of state explosion when exploring reachable states of a system.
I. V. Konnov, V. A. Zakharov
doaj
, 2000 Model checking tools are increasingly being used for the validation of real-life systems in an industrial context. This paper discusses two validation approaches with respect to the application of model checkers. The verification approach tries to ascertain the correctness of a formal model of a system, whereas the debugging approach tries to find ...
Ruys, Theo C., Brinksma, Ed
openaire +1 more source
Model checking via testing for direct effects in Mendelian Randomization and transcriptome-wide association studies. [PDF]
PLoS Comput Biol, 2021 Deng Y, Pan W.
europepmc +1 more source