After successful completion of the course, students are able to:
- Apply common software testing techniques such as equivalence classes, boundary-value analysis, coverage metrics
- Use assertions in software development to increase software quality
- Specify and prove software correct using pre- and post-conditions, invariants, and Hoare Logic
- Apply automated software verification techniques such as Bounded Model Checking and Symbolic Simulation
The lecture will be held in-person and starts at 9:30am.
LectureTube recordings will be made available on TUWEL.
ECTS Breakdown:
36h Lectures
114h Exercises
---------------------------
150h total (6 ECTS)
---------------------------