Automated synthesis of Fault-tolerant Distributed Algorithms

VCLA will be hosting a RiSE seminar talk by Borzoo Bonakdarpou on August 14th, 2013.

ABSTRACT

Although verification of concurrent and distributed applications has recently made considerable progress, correct construction of such applications still remains a challenge. This is simply due to the inherently complex structure of concurrent applications caused by non-determinism and occurrence of faults. To deal with the subtleties of developing concurrent applications, our position is to focus on formal methods that automatically build such applications that are correct-by-construction. This talk briefly describes the efforts made for achieving correctness by construction for concurrent/distributed applications in the area of automated synthesis of concurrent fault-tolerant models.