Webpages tagged with «program analysis»

In this thesis, we look at advanced language features in upcoming programming languages such as Go or Rust, and investigate how to best combine new features with requirements on correct software development (static analysis, verification, monitoring).

The Reliable Systems group (PSY) teaches the following courses: