123 search results - page 1 / 25 » A case study on the automated verification of groupware prot... |
ICSE
2005
IEEE-ACM
14 years 4 months ago
2005
IEEE-ACM
COOP
2004
13 years 6 months ago
2004
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...
ENTCS
2006
13 years 4 months ago
2006
It has been recognised for some time that there are close links between the various logics developed for the analysis of multi-agent systems and the many game-theoretic models dev...
PERCOM
2010
ACM
13 years 2 months ago
2010
ACM
In autonomic networks, the self-configuration of network entities is one of the most desirable properties. In this paper, we show how formal verification techniques can verify the ...
ACSC
2004
IEEE
13 years 8 months ago
2004
IEEE
This paper presents a case study for automatic verification using the Communicating Sequential Processes formalism. The case study concerns the Futurebus+ cache coherency standard...