Owicki-Gries method

GPTKB entity

Statements (17)
Predicate Object
gptkbp:instanceOf concurrency proof technique
gptkbp:basedOn gptkb:Hoare_logic
gptkbp:developedBy gptkb:Susan_Owicki
gptkb:David_Gries
gptkbp:field computer science
formal methods
gptkbp:hasConcept assertion checking
interference freedom
https://www.w3.org/2000/01/rdf-schema#label Owicki-Gries method
gptkbp:introducedIn 1976
gptkbp:publishedIn gptkb:Acta_Informatica
gptkbp:relatedTo gptkb:separation_logic
concurrent programming
rely-guarantee method
gptkbp:usedFor verifying concurrent programs
gptkbp:bfsParent gptkb:Susan_Owicki
gptkbp:bfsLayer 7