Dr.-Ing. Norbert Völker - CSEE
Current Teaching
Research Interests
- Theorem proving, especially using
(HOL)
Isabelle.
- HOL2P - an extension
of classical higher order logic with universal types and
type operator variables
- Formal methods for the analysis and verification of software systems:
Constructive Z,
RefineNet
- Publications