Suche

Dr. Michael Balser



Ehemalige(r)

E-Mail: reif@informatik.uni-augsburg.de


Research interests

I am actively developing the interactive theorem prover KIV. My main interest is verification of temporal properties of concurrent and reactive systems. In my Ph.D. thesis, I have developed a special calculus to verify arbitrary temporal properties with symbolic execution of system descriptions. The technique is applied in a European project 'Protocure' to verify properties of medical guidelines.

Links: