Hochschulschrift
Program-level Specification and Deductive Verification of Security Properties
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Karlsruhe, Karlsruher Institut für Technologie (KIT), Diss., 2014
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Karlsruhe
- (who)
-
KIT-Bibliothek
- (when)
-
2014
- Creator
- Contributor
-
Schmitt, P. H.
- URN
-
urn:nbn:de:swb:90-468785
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:35 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Scheben, Christoph
- Schmitt, P. H.
- KIT-Bibliothek
Time of origin
- 2014
Other Objects (12)
User Interaction in Deductive Interactive Program Verification
Extending the reach and power of deductive program verification
Automated deductive verification of probabilistic programs
Deductive verification of safety-critical Java programs
A Deductive Verification Infrastructure for Probabilistic Programs
Automatic Data Dependence Analysis by Deductive Verification
Specification and verification of security policies for smart cards
A Deductive Verification Infrastructure for Probabilistic Programs (Extended Version)
Advancing Deductive Program-Level Verification for Real-World Application: Lessons Learned from an Industrial Case Study
Modular Verification of a Modular Specification: Behavioral Types as Program Logics
Deductive Verification of Floating-Point Java Programs in KeY
Deductive systems :
User Interaction in Deductive Interactive Program Verification
Extending the reach and power of deductive program verification
Automated deductive verification of probabilistic programs
Deductive verification of safety-critical Java programs
A Deductive Verification Infrastructure for Probabilistic Programs
Automatic Data Dependence Analysis by Deductive Verification
Specification and verification of security policies for smart cards
A Deductive Verification Infrastructure for Probabilistic Programs (Extended Version)
Advancing Deductive Program-Level Verification for Real-World Application: Lessons Learned from an Industrial Case Study
Modular Verification of a Modular Specification: Behavioral Types as Program Logics
Deductive Verification of Floating-Point Java Programs in KeY
Deductive systems :
User Interaction in Deductive Interactive Program Verification
Extending the reach and power of deductive program verification
Automated deductive verification of probabilistic programs
Deductive verification of safety-critical Java programs
A Deductive Verification Infrastructure for Probabilistic Programs
Automatic Data Dependence Analysis by Deductive Verification
Specification and verification of security policies for smart cards
A Deductive Verification Infrastructure for Probabilistic Programs (Extended Version)
Advancing Deductive Program-Level Verification for Real-World Application: Lessons Learned from an Industrial Case Study
Modular Verification of a Modular Specification: Behavioral Types as Program Logics
Deductive Verification of Floating-Point Java Programs in KeY