- Language
-
Englisch
- Identifier
-
1236571320
- Contributor
-
Sakr, Mouhammad
- DOI
-
10.22028/D291-34159
- URN
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
26.01.2023, 1:57 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.
Object type
- Monografie
Associated
- Sakr, Mouhammad
Other Objects (12)
Mechanical Verification of Parameterized Real-Time Systems
Exploring the limits of parameterized system verification
Specification and verification of concurrent systems
Abstraction-based verification of parameterized networks
Interactive Verification of Concurrent Systems using Symbolic Execution
Formal Verification of Concurrent Embedded Software
Compositional Concurrent Program Verification with RGITL
Formal Verification of Concurrent Embedded Software
Combining Theorem Proving and Model Checking for Verification of Concurrent Systems
Stratified commutativity in verification algorithms for concurrent programs
Flashix: modular verification of a concurrent and crash-safe flash file system
Verification and Enforcement of Safe Schedules for Concurrent Programs
Mechanical Verification of Parameterized Real-Time Systems
Exploring the limits of parameterized system verification
Specification and verification of concurrent systems
Abstraction-based verification of parameterized networks
Interactive Verification of Concurrent Systems using Symbolic Execution
Formal Verification of Concurrent Embedded Software
Compositional Concurrent Program Verification with RGITL
Formal Verification of Concurrent Embedded Software
Combining Theorem Proving and Model Checking for Verification of Concurrent Systems
Stratified commutativity in verification algorithms for concurrent programs
Flashix: modular verification of a concurrent and crash-safe flash file system
Verification and Enforcement of Safe Schedules for Concurrent Programs
Mechanical Verification of Parameterized Real-Time Systems
Exploring the limits of parameterized system verification
Specification and verification of concurrent systems
Abstraction-based verification of parameterized networks
Interactive Verification of Concurrent Systems using Symbolic Execution
Formal Verification of Concurrent Embedded Software
Compositional Concurrent Program Verification with RGITL
Formal Verification of Concurrent Embedded Software
Combining Theorem Proving and Model Checking for Verification of Concurrent Systems
Stratified commutativity in verification algorithms for concurrent programs
Flashix: modular verification of a concurrent and crash-safe flash file system