Verifying Single and Multi-mutator Garbage Collectors with Owicki-Gries in Isabelle/HOL.

Leonor Prensa Nieto, Javier Esparza

Browse the full MFCS paper archive.