de
en
Schliessen
Detailsuche
Bibliotheken
Projekt
Impressum
Datenschutz
Schliessen
Publizieren
Besondere Sammlungen
Digitalisierungsservice
Hilfe
Impressum
Datenschutz
zum Inhalt
Detailsuche
Schnellsuche:
OK
Ergebnisliste
Titel
Titel
Inhalt
Inhalt
Seite
Seite
Im Werk suchen
On-The-Fly safety checking - customizing program certification and program restructuring / vorgelegt von Marie-Christine Jakobs, Master of Science. Paderborn, 2017
Inhalt
List of Figures
List of Tables
Introduction
Software Markets Easily Accessible to Everybody
Assuring Correctness Properties in Global OTF Markets
Thesis Contribution
Thesis Outline
Programs and Their Verification
Programs
Properties
Analysis Configuration
Execution of Configured Analyses
Configurable Program Certification
Overview of Configurable Program Certification
Producer Verification and Certificate Construction
Consumer Certificate Validation
Properties of the Consumer Certificate Validation
Evaluation
Discussion
Optimization of Configurable Program Certification
Reduction of the Certificate Size
Certificate Partitioning
Combination of Reduction and Partitioning
Evaluation
Discussion
Related Work
Programs from Proofs
Overview of Programs from Proofs
Producer Verification of the Original Program
Program Generation
Consumer Verification of the Generated Program
Reverification of the Generated Program
Evaluation
Discussion
Related Work
Integration of PfP and CPC
Motivation
The Naïve Combination
Certificates for Generated Program from Producer Proof
Evaluation
Discussion
Related Work
Conclusion
Discussion
Future Work
Resume
Proofs
Outstanding Proofs for Chapter 2
Outstanding Proofs for Chapter 3
Outstanding Proofs for Chapter 4
Outstanding Proofs for Chapter 5
Outstanding Proofs for Chapter 6
Evaluation Results
Results Basic Configurable Program Certification
Results Optimized Configurable Program Certification
Results Programs from Proofs Approach
Results Integration of PfP and CPC
Bibliography
Die detaillierte Suchanfrage erfordert aktiviertes Javascript.