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

*Title*:

*Author/editor-in-chief*:

Prensa Nieto, Leonor

*Manufacture*:

2002

*Physical description scale*:

Online-Ressource

*Format*:

*eBook*

*Language*:

*eng*

*Dissertation note*:

München, Techn. Univ., Diss., 2002

*Subject Added Keywords*:

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