Sciweavers

Share
FORMATS
2008
Springer

Convergence Verification: From Shared Memory to Partially Synchronous Systems

8 years 3 months ago
Convergence Verification: From Shared Memory to Partially Synchronous Systems
Verification of partially synchronous distributed systems is difficult because of inherent concurrency and the potentially large state space of the channels. This paper identifies a subclass of such systems for which convergence properties can be verified based on the proof of convergence for the corresponding discrete-time shared state system. The proof technique extends to the class of systems in which an agent's state evolves continuously over time. The proof technique has been formalized in the PVS interface for timed I/O automata and applied to verify convergence of a mobile agent pattern formation algorithm.
K. Mani Chandy, Sayan Mitra, Concetta Pilotto
Added 26 Oct 2010
Updated 26 Oct 2010
Type Conference
Year 2008
Where FORMATS
Authors K. Mani Chandy, Sayan Mitra, Concetta Pilotto
Comments (0)
books