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