Integrating Owicki–Gries for C11-Style Memory Models into Isabelle/HOL

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISSN
1573-0670
Umfang
Online-Ressource
Sprache
Englisch
Anmerkungen
online resource.

Erschienen in
Integrating Owicki–Gries for C11-Style Memory Models into Isabelle/HOL ; volume:66 ; number:1 ; day:16 ; month:11 ; year:2021 ; pages:141-171 ; date:2.2022
Journal of automated reasoning ; 66, Heft 1 (16.11.2021), 141-171, 2.2022

Urheber
Dalvandi, Sadegh
Dongol, Brijesh
Doherty, Simon
Wehrheim, Heike
Beteiligte Personen und Organisationen
SpringerLink (Online service)

DOI
10.1007/s10817-021-09610-2
URN
urn:nbn:de:101:1-2022042519145552423552
Rechteinformation
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
15.08.2025, 07:30 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Beteiligte

  • Dalvandi, Sadegh
  • Dongol, Brijesh
  • Doherty, Simon
  • Wehrheim, Heike
  • SpringerLink (Online service)

Ähnliche Objekte (12)

Linear Resources in Isabelle/HOL

Linear Resources in Isabelle/HOL

From LCF to Isabelle/HOL

From LCF to Isabelle/HOL

C11

Abschnitt

C11

C11

Graffiti | Streetart

C11

C.11.

Abschnitt

C.11.

Verification of parallel programs with the Owicki-Gries and Rely-Guarantee methods in Isabelle, HOL

Hochschulschrift

Verification of parallel programs with the Owicki-Gries and Rely-Guarantee methods in Isabelle, HOL

Verification of parallel programs with the Owicki-Gries and Rely-Guarantee methods in Isabelle, HOL

Hochschulschrift

Verification of parallel programs with the Owicki-Gries and Rely-Guarantee methods in Isabelle, HOL

Verified Code Generation from Isabelle/HOL

Verified Code Generation from Isabelle/HOL

Certified Quantum Computation in Isabelle/HOL

Certified Quantum Computation in Isabelle/HOL

Kontext, [...]. C1.1

Kontext, [...]. C1.1

Kontext, [...]. C1.1

Kontext, [...]. C1.1

Vielfalt, [...]. C1.1

Vielfalt, [...]. C1.1

Verbundene Objekte