Borzoo Bonakdarpou

Automated synthesis of Fault-tolerant Distributed Algorithms

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

DATE:Wednesday, August 14, 2013
VENUE:Seminar room Menger (Favoritenstrasse 9-11, 3rd floor)


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.

Comments are closed.