MENU

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.

voir Archive