Course code, if applicable:
University hosting the course: University of Toulouse/INPT/ENSEEIHT
Contact person: Marc Pantel (Marc.Pantel@enseeiht.fr)
Concepts taught: Software analysis tools (weakest precondition, model checking, abstract interpretation), Logic programming, Constraint Logic Programming, SAT, SMT
Tools used: Students develop small abstract interpreter, gnu prolog, miniSAT, Z3
Webpage:
Year/Level: MSc
Course code, if applicable: University hosting the course: University of Toulouse/INPT/ENSEEIHT Contact person: Marc Pantel (Marc.Pantel@enseeiht.fr) Concepts taught: Software analysis tools (weakest precondition, model checking, abstract interpretation), Logic programming, Constraint Logic Programming, SAT, SMT Tools used: Students develop small abstract interpreter, gnu prolog, miniSAT, Z3 Webpage: Year/Level: MSc