Open jff opened 5 years ago
Issue by luigiapetre Tuesday Aug 21, 2018 at 10:06 GMT Originally opened as https://github.com/luigiapetre/Formal-Methods-Courses/issues/28
Course code, if applicable: University hosting the course: Université de Toulouse/Toulouse INP/ENSEEIHT Contact person: Marc Pantel, Marc.Pantel@toulouse-inp.fr Concepts taught: Software analysis tools, weakest preconditions, model checking, abstract interpretation, Logic programming, Constraint Logic Programming, SAT, SMT Tools used: Student-developed small abstract interpreter, gnu prolog, miniSAT, Z3 Webpage: Year/Level: MSc Reviewed: 2021/06/23
Course code, if applicable: University hosting the course: Université de Toulouse/Toulouse INP/ENSEEIHT Contact person: Marc Pantel, Marc.Pantel@toulouse-inp.fr Concepts taught: Software analysis tools, weakest preconditions, model checking, abstract interpretation, Logic programming, Constraint Logic Programming, SAT, SMT Tools used: Student-developed small abstract interpreter, gnu prolog, miniSAT, Z3 Webpage: Year/Level: MSc Reviewed: 2021/06/23