Static Analysis

Analyzing Security Aspects of Software Architectures
As the consequences of cyber attacks are becoming increasingly severe, ensuring the security of safety critical embedded software has …
Analyzing Security Aspects of Software Architectures
Paper presentation.
Jun 22, 2022 11:00 AM — 11:30 AM Nuremberg, Germany
Testing, Model Checking and Static Analysis – Dream Team or Rivals?
Paper presentation.
Mar 4, 2021 11:00 AM — 11:30 AM virtual
Slides
Testing, Model Checking and Static Analysis – Dream Team or Rivals?
Ensuring reliability and quality of software has become a necessity. This is especially true for safety critical systems. To do so, …
PDF Slides