Abstract

The goal of the project is to apply a verification technique, that transforms a system of differential equations into a timed automaton, to a real world non-trivial example.

  Reading Phase

Reading Report (PDF)
Reading Presentation (PDF)

  Implementation Phase

Final Report (PDF)
Final Presentation (PDF)
Project Materials (ZIP)