VVZ API is not affiliated with ETH Zurich. Data might be outdated or incorrect. Please view the official ETHZ Vorlesungsverzeichnis for binding information.
FATS Formal Approaches to Software
FATS Formal Approaches to Software (engl.)
Last Updated: 2026-02-05 15:06:59
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.
Content
"Formal Approaches To Software", are mathematically-based techniques helping the software process. The field has made considerable advances in recent years, and has become increasingly relevant to practical software development. The seminar provides a regular discussion medium for those interested in the progress of this field. 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. Reports on practical applications of these techniques in software projects are also welcome.
General Information
- Language
- English
- Levels
- DS
- Frequency
- Yearly recurring
Examination
- Type
- no performance assessment
Course Components
| Type | Title | Time & Place | Hours |
|---|---|---|---|
| lecture |
FATS Formal Approaches to Software (engl.)
nach Vereinbarung
|
|
1 h weekly |