Results 81 to 90 of about 25,570,341 (217)

Learning Markov Decision Processes for Model Checking [PDF]

Electronic Proceedings in Theoretical Computer Science, 2012
Constructing an accurate system model for formal model verification can be both resource demanding and time-consuming. To alleviate this shortcoming, algorithms have been proposed for automatically learning system models based on observed system ...
Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen   +5 more
doaj   +1 more source

Model Checking Interactor Specifications [PDF]

Automated Software Engineering, 2001
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Campos JC, Harrison MD
openaire   +3 more sources

Hardware Model Checking Algorithms and Techniques

Algorithms
Digital systems are nowadays ubiquitous and often comprise an extremely high level of complexity. Guaranteeing the correct behavior of such systems has become an ever more pressing need for manufacturers.
Gianpiero Cabodi, Paolo Enrico Camurati, Marco Palena, Paolo Pasini   +3 more
doaj   +1 more source

Model Checking Spatial Logics for Closure Spaces [PDF]

Logical Methods in Computer Science, 2017
Spatial aspects of computation are becoming increasingly relevant in Computer Science, especially in the field of collective adaptive systems and when dealing with systems distributed in physical space. Traditional formal verification techniques are well
Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink   +3 more
doaj   +1 more source

Comparing BDD and SAT based techniques for model checking Chaum's Dining Cryptographers Protocol [PDF]

, 2006
We analyse different versions of the Dining Cryptographers protocol by means of automatic verification via model checking. Specifically we model the protocol in terms of a network of communicating automata and verify that the protocol meets the anonymity
Kacprzak, M., Lomuscio, A., Niewiadomski, A., Penczek, W., Raimondi, F., Szreter, M.   +5 more
core  

Model Checking Dynamic-Epistemic Spatial Logic [PDF]

, 2006
In this paper we focus on Dynamic Spatial Logic, the extension of Hennessy-Milner logic with the parallel operator. We develop a sound complete Hilbert-style axiomatic system for it comprehending the behavior of spatial operators in relation with dynamic/
Mardare, Radu, Priami, Corrado
core  

A Dynamic Epistemic Framework for Conformant Planning

, 2016
In this paper, we introduce a lightweight dynamic epistemic logical framework for automated planning under initial uncertainty. We reduce plan verification and conformant planning to model checking problems of our logic.
Li, Yanjun, Wang, Yanjing, Yu, Quan
core   +2 more sources

Optimization Procedures in Affine Model Checking

Моделирование и анализ информационных систем, 2011
Symbolic model checking is based on a compact representation of sets of states and transition relations. At present there are three basic approaches of symbolic model checking: BDD-methods, bounded model checking using SAT-solvers, and various algebraic ...
N. O. Garanina
doaj  

Probabilistic and Hybrid Model Checking Deployments for Wireless Sensor Networks [PDF]

Mehran University Research Journal of Engineering and Technology, 2012
In the early stages of system development, model checking is a good practice for examining the WSNs (Wireless Sensor Networks). Model checking involves verifying a system\'s properties based on the system\'s finite state model. For varying applications
Mohsin Memon, Sania Bhatti, Sheeraz Memon   +2 more
doaj  

Model-checking Quantitative Alternating-time Temporal Logic on One-counter Game Models [PDF]

, 2014
We consider quantitative extensions of the alternating-time temporal logics ATL/ATLs called quantitative alternating-time temporal logics (QATL/QATLs) in which the value of a counter can be compared to constants using equality, inequality and modulo ...
Vester, Steen
core   +1 more source