论文信息 - Completeness of the owicki-gries system for parameterized parallel programs - 字舞流文

Completeness of the owicki-gries system for parameterized parallel programs

L. Prensa-Nieto

[1] Leslie Lamport,et al. Proving the Correctness of Multiprocess Programs , 1977, IEEE Transactions on Software Engineering.

[2] Javier Esparza,et al. Verifying Single and Multi-mutator Garbage Collectors with Owicki-Gries in Isabelle/HOL , 2000, MFCS.

[3] Tobias Nipkow,et al. Owicki/Gries in Isabelle/HOL , 1999, FASE.

[4] Susan S. Owicki,et al. A consistent and complete deductive system for the verification of parallel programs , 1976, STOC '76.