Verification of Parallel Programs with the Owicki-Gries and Rely-Guarantee Methods in Isabelle/HOL (original) (raw)

2001

Abstract

... Further, I thank the (not yet mentioned) members and guests of the Isabelle working group and office mates Christine Röckl, John Harrison, Wolfgang Naraschewski, Stefan Berghofer, Bernd Grobauer, Gertrud Bauer, Gerwin Klein, Sebastian Skalberg, Martin Strecker, Norbert ...

Leonor Nieto hasn't uploaded this paper.

Let Leonor know you want this paper to be uploaded.

Ask for this paper to be uploaded.