Program verification

Researchers

• Mads Dam
• Dilian Gurov

Ph.D. Students

• Andreas Lundblad

Alumni

• Lars-aake Fredlund Ph. D. 2001
• Gena Chugunov Ph. Lic. 2004

Short description

Erlang verification

TBD

First-order mu-calculus as a framework for program verification

TBD

Control flow analysis

TBD

Projects and Funding

TBD

Publications

TBD