Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
This lecture introduces a framework for automatically verifying programming exercises, covering topics such as axiomatic processing, model-based representation of programs, implementation issues, and future works. It discusses the use of counterexamples, Hoare triples, and dealing with specific classes of loop-based programs.