Course name: Software analysis
Course code, if applicable: INF.M062
University hosting the course: USI (Università della Svizzera italiana), Switzerland
Contact person: Carlo A. Furia
Concepts taught: deductive verification, static analysis, type systems, model checking, predicate abstraction, symbolic execution, dynamic analysis
Tools used: Dafny and the Checker Framework (for the course's assignments). The course also includes brief demos of Frama-C, Spin, CPAchecker, and Klee
Webpage: https://github.com/bugcounting/software-analysis/
Year/Level: MSc (also available to PhD students)
Course name: Software analysis Course code, if applicable: INF.M062 University hosting the course: USI (Università della Svizzera italiana), Switzerland Contact person: Carlo A. Furia Concepts taught: deductive verification, static analysis, type systems, model checking, predicate abstraction, symbolic execution, dynamic analysis Tools used: Dafny and the Checker Framework (for the course's assignments). The course also includes brief demos of Frama-C, Spin, CPAchecker, and Klee Webpage: https://github.com/bugcounting/software-analysis/ Year/Level: MSc (also available to PhD students)