Les cours.

mes cours


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