Proseminar: Software Verification
daily lives. Some examples that most of us come into contact with on a daily basis are smartphone apps (e.g. for communicating with friends), software in ATMs, POS systems, smartcards and assistance systems [...] wikia.com/wiki/Formal_methods Material The material (slides, literature, exercises) is provided in the TU Dortmund Moodle. Registration in LSF is mandatory and automatically perfoms enrolment in the Moodle …