Academic
Publications
Towards a verification framework for faulty message passing systems in PVS

Towards a verification framework for faulty message passing systems in PVS,10.1007/s11334-011-0150-7,Innovations in Systems and Software Engineering,C

Towards a verification framework for faulty message passing systems in PVS  
BibTex | RIS | RefWorks Download
We present a library of PVS meta-theories that can be used to verify a class of distributed systems in which agent communication is via message-passing. The theoretical work, as outlined in Chandy et al. (Form Aspect Comput 2011, to appear) consists of iterative schemes for solving systems of linear equations, such as message-passing extensions of the Gauss and Gauss-Seidel methods. We briefly review that work and discuss the challenges in formally verifying it.
Journal: Innovations in Systems and Software Engineering - ISSE , vol. 7, no. 2, pp. 109-118, 2011
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.