Results 1 to 10 of about 171,654 (251)
Prior‐based model checking [PDF]
Canadian Journal of Statistics, 2018 AbstractModel checking procedures are considered based on the use of the Dirichlet process and relative belief. This combination is seen to lead to some unique advantages for this problem. Of considerable importance is the selection of the hyperparameters for the Dirichlet process.
Luai Al‐Labadi, Michael Evans
openaire +3 more sources
Model Checking Paxos in Spin [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 We present a formal model of a distributed consensus algorithm in the executable specification language Promela extended with a new type of guards, called counting guards, needed to implement transitions that depend on majority voting. Our formalization
Giorgio Delzanno +2 more
doaj +1 more source
Geometric Model Checking of Continuous Space [PDF]
Logical Methods in Computer Science, 2022 Topological Spatial Model Checking is a recent paradigm where model checking techniques are developed for the topological interpretation of Modal Logic. The Spatial Logic of Closure Spaces, SLCS, extends Modal Logic with reachability connectives that, in
Nick Bezhanishvili +5 more
doaj +1 more source
Zhongguo Jianchuan Yanjiu, 2023 ObjectivesThis paper aims to propose a type of structural verification software for inland ships with embedded specifications, addressing the problem of low calculation efficiency and difficult model reuse in performing manual checking and calculation ...
Pang NIE +3 more
doaj +1 more source
Compositional Stochastic Model Checking Probabilistic Automata via Assume-guarantee Reasoning
International Journal of Networked and Distributed Computing (IJNDC), 2020 Stochastic model checking is the extension and generalization of the classical model checking. Compared with classical model checking, stochastic model checking faces more severe state explosion problem, because it combines classical model checking ...
Yang Liu, Rui Li
doaj +1 more source
Checking RTECTL properties of STSs via SMT-based Bounded Model Checking
International Journal of Interactive Multimedia and Artificial Intelligence, 2015 We present an SMT-based bounded model checking (BMC) method for Simply-Timed Systems (STSs) and for the existential fragment of the Real-time Computation Tree Logic. We implemented the SMT-based BMC algorithm and compared it with the SAT-based BMC method
Agnieszka M. Zbrzezny, Andrzej Zbrzezny
doaj +1 more source
Autotuning Parallel Programs by Model Checking
Моделирование и анализ информационных систем, 2021 The paper presents a new approach to autotuning data-parallel programs. Autotuning is a search for optimal program settings which maximize its performance.
Natalia Olegovna Garanina +1 more
doaj +1 more source
Distributed Parametric and Statistical Model Checking [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Statistical Model Checking (SMC) is a trade-off between testing and formal verification. The core idea of the approach is to conduct some simulations of the system and verify if they satisfy some given property.
Peter Bulychev +4 more
doaj +1 more source
Intuitionistic implication makes model checking hard [PDF]
Logical Methods in Computer Science, 2012 We investigate the complexity of the model checking problem for intuitionistic and modal propositional logics over transitive Kripke models. More specific, we consider intuitionistic logic IPC, basic propositional logic BPL, formal propositional logic ...
Martin Mundhenk, Felix Weiss
doaj +1 more source
An Introduction to Quantum Model Checking
Applied Sciences, 2022 Model checking is a well-established and widely adopted framework used to verify whether a given system satisfies the desired properties. Properties are usually given by means of formulas from a specific logic; there are several logics that can be used ...
Andrea Turrini
doaj +1 more source