Testing

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
CLP(Str)
Constraint Logic Programming Over Strings.
Prolog Language Features
Providing new features to Prolog implementations.
Who watches the watchers: Validating the ProB Validation Tool
Over the years, ProB has moved from a tool that complemented proving, to a development environment that is now sometimes used instead …
PDF Cite Project Project DOI