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

Title:
Verification of parallel programs with the Owicki-Gries and Rely-Guarantee methods in Isabelle, HOL / Leonor Prensa Nieto
Involved:
Prensa Nieto, Leonor 
Manufacturing:
2002
Scope:
Online-Ressource
Format:
eBook
Language:
English
Dissertation note:
München, Techn. Univ., Diss., 2002
Subject Added Keywords:

Additional information

Additional functions