Hochschulschrift
Verification of parallel programs with the Owicki-Gries and Rely-Guarantee methods in Isabelle, HOL
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Language
-
Englisch
- Notes
-
München, Techn. Univ., Diss., 2002
- Keyword
-
Paralleles Programm
Verifikation
Isabelle
HOL
Owicki-Gries-Methode
Rely-Guarantee-Methode
- Creator
- URN
-
urn:nbn:de:bvb:91-diss2002021117027
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
- 15.08.2025, 7:21 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
Other Objects (12)
Verification of parallel programs with the Owicki-Gries and Rely-Guarantee methods in Isabelle, HOL
Embedding Rely-Guarantee Reasoning in Temporal Logic
Extending rely-guarantee thinking to handle real-time scheduling
Local rely-guarantee conditions for linearizability and lock-freedom
Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example
Verification of sequential imperative programs in Isabelle-HOL
Integrating Owicki–Gries for C11-Style Memory Models into Isabelle/HOL
Guarantee & Credit Bank
Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL
Predicate Transformer Semantics for Hybrid Systems : Verification Components for Isabelle/HOL
Can I rely on you?
On what you can rely
Verification of parallel programs with the Owicki-Gries and Rely-Guarantee methods in Isabelle, HOL
Embedding Rely-Guarantee Reasoning in Temporal Logic
Extending rely-guarantee thinking to handle real-time scheduling
Local rely-guarantee conditions for linearizability and lock-freedom
Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example
Verification of sequential imperative programs in Isabelle-HOL
Integrating Owicki–Gries for C11-Style Memory Models into Isabelle/HOL
Guarantee & Credit Bank
Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL
Predicate Transformer Semantics for Hybrid Systems : Verification Components for Isabelle/HOL
Can I rely on you?
On what you can rely
Verification of parallel programs with the Owicki-Gries and Rely-Guarantee methods in Isabelle, HOL
Embedding Rely-Guarantee Reasoning in Temporal Logic
Extending rely-guarantee thinking to handle real-time scheduling
Local rely-guarantee conditions for linearizability and lock-freedom
Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example
Verification of sequential imperative programs in Isabelle-HOL
Integrating Owicki–Gries for C11-Style Memory Models into Isabelle/HOL
Guarantee & Credit Bank
Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL
Predicate Transformer Semantics for Hybrid Systems : Verification Components for Isabelle/HOL
Can I rely on you?