Analyse von sicherheitskritischen Systemen: Ist Ihr Programm immer schnell genug? Wie Stackverbrauch und Laufzeit durch eine statische Programmanalyse automatisch bestimmt werden

Analyse von sicherheitskritischen Systemen: Ist Ihr Programm immer schnell genug? Wie Stackverbrauch und Laufzeit durch eine statische Programmanalyse automatisch bestimmt werden

Bärbel Franzen, AbsInt Angewandte Informatik GmbH/Universität des Saarlandes

Download