Les cours.
mes cours
Students:
Faten Fakhfakh, PhD candidate "Verification of clusturing algorithms", 2013.
Maha Bousabbah, PhD candidate "Formal composition of distributed algorithms", 2013.
In my PhD thesis
we have studied and developed a proof environment for distributed algorithms. We have chosen to combine the “correct-by-construction” approach based on the “Event-B” method and the local computations models. We have proposed a pattern and an approach to characterize a general approach to prove several classes of distributed algorithms. The proposed solutions are implemented by a tool called B2Visidia.
Key Words:
Formal method, Event-B, Distributed algorithms, Local computations, Visidia.