SE Practices 1 #111
Description
Course code, if applicable: M_SEP1
University hosting the course: OST Eastern Switzerland University of Applied Sciences
Contact person: Farhad Mehta, [email protected]
Concepts taught: Applied Formal Methods, Behavioural Modelling, Deductive Verification, Formal Specification, Hoare Logic, Interactive Theorem Proving, Modelling, Software Verification, Specification, Tool-Based Testing, WP Calculus
Tools used: Dafny, Staruml, UML
Webpage: https://studien.ost.ch/allModules/39203_M_SEP1.html
Year/Level: 3
Reviewed: 2025/06/12