CISM-Kurs "Formalware Engineering - Formal Methods for Software Engineering"

• Applicant: Frank Rittinger
• Subject Area: Mechanics
• Term: from 2001 to 2002
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 5348241

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