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

• Antragsteller: Frank Rittinger
• Fachliche Zuordnung: Mechanik
• Förderung: Förderung von 2001 bis 2002
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 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-Verfahren: Sachbeihilfen