372 search results - page 19 / 75 » Model Checking Commitment Protocols |
191
Voted
ASIAN
2003
Springer
15 years 11 months ago
2003
Springer
Protocols for distributed systems make often use of random transitions to achieve a common goal. A popular example are randomized leader election protocols. We introduce probabilis...
167
click to vote
DALT
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we address the challenges associated with the verification of correctness of communication between agents in MultiAgent Systems. Our approach applies model-checking ...
123
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
We sketch how to express typical features of agent communication protocols in a simple temporal logic and show that conformance verification at runtime reduces to a generalised f...
150
click to vote
IJISEC
2008
15 years 5 months ago
2008
We present a model checking technique for security protocols based on a reduction to propositional logic. At the core of our approach is a procedure that, given a description of th...
161
click to vote
ENTCS
2006
15 years 5 months ago
2006
The Advanced Microcontroller Bus Architecture (AMBA) is an open System-onChip bus protocol for high-performance buses on low-power devices. We demonstrate the combined use of mode...