Combining Static and Dynamic Program Analysis Techniques for Checking Relational Properties

Herda, Mihai ; Beckert, B. 2020 KIT-Bibliothek

Link zu diesem Datensatz

https://d-nb.info/1203211961

Titel

Combining Static and Dynamic Program Analysis Techniques for Checking Relational Properties

Art des Inhalts

Monographie

Verfassangaben

Mihai Herda ; Betreuer: B. Beckert

Autor(en)

• Herda, Mihai
• Beckert, B.

Verlag

Karlsruhe : KIT-Bibliothek [2020]

Jahr

Erscheinungsdatum: 2020

Umfang/Format

Online-Ressource

DOI

10.5445/IR/1000104496

Online

https://doi.org/10.5445/IR/1000104496

Sprache

eng

Schlagwörter

• Program Verification
• Relational Properties
• Noninterference
• Information-flow Security
• Program Slicing

Stand

24.12.2025 07:46

Im Katalog seit

07.03.2026

Beschreibung vom Verlag

Verlagstext laden