Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology

Document Details

Document Type
Pub Defense Publication
Publication Date
Nov 01, 2018
Source ID
10.1007/s10817-018-9489-x

Entities

People

  • David Cachera
  • David Pichardie
  • Delphine Demange
  • Gustavo Petri
  • Jan Vitek
  • Suresh Jagannathan
  • Yannick Zakowski

Organizations

  • Agence Nationale de la Recherche
  • European Research Council
  • National Science Foundation
  • Office of Naval Research