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.