VVZ API is not affiliated with ETH Zurich. Data might be outdated or incorrect. Please view the official ETHZ Vorlesungsverzeichnis for binding information.

251-0828-00L DS D-INFK
You're viewing possible stale or outdated data. Please check the latest semester for more up-to-date information.

FATS Formal Approaches to Software

Lecturers: Prof. em. Dr. Bertrand Meyer, Prof. Dr. David Basin
VVZ CR n/a

Last Updated: 2026-02-05 15:19:44

Abstract

The seminar provides a regular discussion medium for those interested in the "Formal Approaches to Software. A non-exhaustive list of relevant topic areas includes program proving, refinement calculus, theory of programming and programming languages, logic(s) for computation, formal development techniques, formal specification.

General Information

Language
German
Levels
DS
Frequency
Yearly recurring

Examination

Type
no performance assessment

Course Components

Type Title Time & Place Hours
lecture FATS Formal Approaches to Software
Nach Ankündigung
No time listed 1 h weekly

Offered In