SyDRA

Bilateral project (Inria-DGRSRT program STIC Tunisie 2006) between the Inria team Secsi (Saclay), the LaBRI (U. Bordeaux) and the team Digital Security (Tunis, Sup’Com) on the study of Automated inductive theorem proving techniques for the formal validation of protocols and distributed systems.