Open Topics
Configurable Depth Analysis: Create a meta analysis to statically analyze a system in different depths
Orchestrate different existing static analysis techniques to analyze a real-time system in different depths and show the working with an implementation in ARA.
- Typ
- Masterarbeit
- Status
- offen
- Supervisors
- Gerion Entrup
Daniel Lohmann - Project
- AHA