15 search results - page 1 / 3 » Towards Automatic Convergence Verification of Self-stabilizi... |
SSS
2005
Springer
13 years 10 months ago
2005
Springer
CAV
2007
Springer
13 years 9 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
ENTCS
2006
13 years 5 months ago
2006
We report on an experiment in combining Isabelle with automatic first-order arithmetic provers to increase automation on the verification of distributed protocols. As a case study...
BIRTHDAY
2007
Springer
13 years 9 months ago
2007
Springer
Abstract. The Operational Transformation (OT) approach is a technique for supporting optimistic replication in collaborative and mobile systems. It allows the users to concurrently...
MOBISYS
2011
ACM
12 years 8 months ago
2011
ACM
Mobile phones are becoming the convergent platform for personal sensing, computing, and communication. This paper attempts to exploit this convergence towards the problem of autom...