Course code, if applicable:
University hosting the course: University of Toulouse/INPT/ENSEEIHT
Contact person: Marc Pantel (Marc.Pantel@enseeiht.fr)
Concepts taught: Logic, Induction, Hoare logic, Program proof, Language theory
Tools used: Coq, Why3
Webpage:
Year/Level: 3
Course code, if applicable: University hosting the course: University of Toulouse/INPT/ENSEEIHT Contact person: Marc Pantel (Marc.Pantel@enseeiht.fr) Concepts taught: Logic, Induction, Hoare logic, Program proof, Language theory Tools used: Coq, Why3 Webpage: Year/Level: 3