Verification of Parallel Shared-Memory Programs, Owicki-Gries Method of Axiomatic. Encyclopedia of Parallel Computing 2011: 2135