Modular Verification of a Modular Specification: Behavioral Types as Program Logics
- Alternative title
-
Modulare Verifikation einer modularer Spezifikation: Behavioral Types als Programmlogiken
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Darmstadt, Technische Universität Darmstadt, Dissertation, 2020
- Classification
-
Informatik
Mathematik
- Event
-
Veröffentlichung
- (where)
-
Darmstadt
- (who)
-
Universitäts- und Landesbibliothek Darmstadt
- (when)
-
2020
- Creator
- Contributor
- URN
-
urn:nbn:de:tuda-tuprints-116645
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:50 PM CET
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.
Associated
- Kamburjan, Eduard
- Hähnle, Reiner
- Boer, Frank S. de
- Universitäts- und Landesbibliothek Darmstadt
Time of origin
- 2020
Other Objects (12)
Modular verification of order-preserving write-back caches
Modular specification and verification of object oriented programs
Modular specification and verification of object oriented programs
Modular specification and verification of object oriented programs
Refinement and separation: modular verification of wandering trees
Modular vorgefertigt : = Modular prefabricated
On the definition and verification of modular software systems
Separating separation logic – modular verification of red-black trees
Modular equivariant formality : = Modulare äquivariante Formalität
Modular compiler verification : a refinement algebraic approach advocating stepwise abstraction
On hermitian modular groups and modular forms
Modulare Prüfplanung
Modular verification of order-preserving write-back caches
Modular specification and verification of object oriented programs
Modular specification and verification of object oriented programs
Modular specification and verification of object oriented programs
Refinement and separation: modular verification of wandering trees
Modular vorgefertigt : = Modular prefabricated
On the definition and verification of modular software systems
Separating separation logic – modular verification of red-black trees
Modular equivariant formality : = Modulare äquivariante Formalität
Modular compiler verification : a refinement algebraic approach advocating stepwise abstraction
On hermitian modular groups and modular forms
Modulare Prüfplanung
Modular verification of order-preserving write-back caches
Modular specification and verification of object oriented programs
Modular specification and verification of object oriented programs
Modular specification and verification of object oriented programs
Refinement and separation: modular verification of wandering trees
Modular vorgefertigt : = Modular prefabricated
On the definition and verification of modular software systems
Separating separation logic – modular verification of red-black trees
Modular equivariant formality : = Modulare äquivariante Formalität
Modular compiler verification : a refinement algebraic approach advocating stepwise abstraction
On hermitian modular groups and modular forms