Formal Verification of Distributed Algorithms in +CAL 2.0 - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Other Publications Year : 2008

Formal Verification of Distributed Algorithms in +CAL 2.0

Abstract

There are some important challenges associated with distributed systems including race conditions and deadlocks. These systems thus should be verified before deployment. Algorithmic verification is a formal technique; it means that the verification is itself performed algorithmically, in contrast to manual or interactive verification. Algorithmic representation of a system can be achieved using +CAL developed by Leslie Lamport. This work aims at removing some of the limitations of the previous version of the +CAL language. We have validated our implementation by verifying some algorithms.
No file

Dates and versions

inria-00338302 , version 1 (12-11-2008)

Identifiers

  • HAL Id : inria-00338302 , version 1

Cite

Sabina Akhtar. Formal Verification of Distributed Algorithms in +CAL 2.0. 2008. ⟨inria-00338302⟩
65 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More