Program logic for developing and verifying distributed systems
implémentation de la KAM dans le cadre du stage de L3 (en Ocaml puis en C)