Open jff opened 5 years ago
Issue by bugcounting Friday Jul 05, 2019 at 09:34 GMT Originally opened as https://github.com/luigiapetre/Formal-Methods-Courses/issues/56
Course name: Software analysis Course code, if applicable: INF.M062 University hosting the course: USI (Università della Svizzera italiana) Contact person: Carlo A. Furia Concepts taught: deductive verification, static analysis, type systems, model checking, predicate abstraction, symbolic execution, dynamic analysis Tools used: Dafny, Checker Framework, Frama-C, Spin, CPAchecker, Klee Webpage: https://github.com/bugcounting/software-analysis/ Year/Level: MSc Reviewed: 2021/06/27
Course name: Software analysis Course code, if applicable: INF.M062 University hosting the course: USI (Università della Svizzera italiana) Contact person: Carlo A. Furia Concepts taught: deductive verification, static analysis, type systems, model checking, predicate abstraction, symbolic execution, dynamic analysis Tools used: Dafny, Checker Framework, Frama-C, Spin, CPAchecker, Klee Webpage: https://github.com/bugcounting/software-analysis/ Year/Level: MSc Reviewed: 2021/06/27