inria-00338302, version 1
Formal Verification of Distributed Algorithms in +CAL 2.0
Master thesis, Master Informatique de Nancy (2008)
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.
- a – INRIA
- 1:
- INRIA – CNRS : UMR7503 – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL)
- Domain : Computer Science/Logic in Computer Science
- Keywords : distributed algorithms – model checking – TLA
- inria-00338302, version 1
- http://hal.inria.fr/inria-00338302
- oai:hal.inria.fr:inria-00338302
- From:
- Submitted on: Wednesday, 12 November 2008 15:57:10
- Updated on: Friday, 14 November 2008 12:12:15
Export