The goal of the school is to introduce into the leading formally supported design and analysis methods which are theoretically well founded and at the same time have proved to be useful for engineering reliable complex software under industrial constraints. The school is organized into time modules of five lectures each held by a leading scientist in the field and covers the "abstract state machine" (ASM) method, the B-method, the "Vienna development method" (VDM), the verification system PVS, "model checking" (MC) and "logical framework" (LF).
DFG Programme
Research Grants