Open Topics

Configurable Depth Analysis: Create a meta analysis to statically analyze a system in different depths

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