Verification

Noah Bühlmann (Advisor: T. Kehrer)

Learning programming requires a lot of hands-on training.

Software verification entails the algorithmic analysis of programs to mathematically prove properties of their executions - to prove that given certain assumptions, the code is correct and bug-free.