- Alternative title
-
Verifikation und Durchsetzung sicherer Schedules für nebenläufige Programme
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Darmstadt, Technische Universität Darmstadt, Dissertation, 2020
- Keyword
-
Programs
- Event
-
Veröffentlichung
- (where)
-
Darmstadt
- (who)
-
Universitäts- und Landesbibliothek
- (when)
-
2020
- Creator
-
Metzler, Patrick
- Contributor
- DOI
-
10.25534/tuprints-00013432
- URN
-
urn:nbn:de:tuda-tuprints-134321
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:44 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
- Metzler, Patrick
- Peters, Kirstin
- Weissenbacher, Georg
- Universitäts- und Landesbibliothek
Time of origin
- 2020
Other Objects (12)
Flashix: modular verification of a concurrent and crash-safe flash file system
Deployment and empirical verification of real-time schedules
Specification and verification of concurrent systems
Formal Verification of Concurrent Embedded Software
Formal Verification of Concurrent Embedded Software
Compositional Concurrent Program Verification with RGITL
Verification of sequential and concurrent programs
Investigation and verification of real-time schedules via simulation
Parameterized verification and repair of concurrent systems
Stratified commutativity in verification algorithms for concurrent programs
Interactive Verification of Concurrent Systems using Symbolic Execution
Product Safety Enforcement Forum of Europe (ProSafe).- Berichterstattung des BMWi: Product Safety Enforcement Forum of Europe (ProSafe)
Flashix: modular verification of a concurrent and crash-safe flash file system
Deployment and empirical verification of real-time schedules
Specification and verification of concurrent systems
Formal Verification of Concurrent Embedded Software
Formal Verification of Concurrent Embedded Software
Compositional Concurrent Program Verification with RGITL
Verification of sequential and concurrent programs
Investigation and verification of real-time schedules via simulation
Parameterized verification and repair of concurrent systems
Stratified commutativity in verification algorithms for concurrent programs
Interactive Verification of Concurrent Systems using Symbolic Execution
Product Safety Enforcement Forum of Europe (ProSafe).- Berichterstattung des BMWi: Product Safety Enforcement Forum of Europe (ProSafe)
Flashix: modular verification of a concurrent and crash-safe flash file system
Deployment and empirical verification of real-time schedules
Specification and verification of concurrent systems
Formal Verification of Concurrent Embedded Software
Formal Verification of Concurrent Embedded Software
Compositional Concurrent Program Verification with RGITL
Verification of sequential and concurrent programs
Investigation and verification of real-time schedules via simulation
Parameterized verification and repair of concurrent systems
Stratified commutativity in verification algorithms for concurrent programs
Interactive Verification of Concurrent Systems using Symbolic Execution