Formal Verification
This is an overview of the Formal Verification work at
The IT University of Copenhagen.
The work on formal methods aims at developing techniques and tools
that makes formal verification practical. The focus is on
developing tools to support formal verification,
design methods to take advantage of modular specifications
in order to verify large and realistic designs, and
automating the verification process
in order to make formal verification useful for non-experts.
Stories from the real world with relation to verification
Current Research Projects
Members of the verification group:
Links to other verification home pages.
Maintained by Henrik Hulgaard,
henrik@itu.dk
