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 become a necessity.
Testing
Analyzing Security Aspects of Software Architectures
Embedded World Conference 2022, Nuremberg, Germany
Testing, Model Checking and Static Analysis – Dream Team or Rivals?
Ensuring reliability and quality of software has become a necessity.
Testing, Model Checking and Static Analysis – Dream Team or Rivals?
Embedded World Conference 2020, virtual
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 of proving for applications, such as exhaustive model checking or data validation.