Skip to main content

Model Checking Transactional Sapphire

Ugawa, Tomoharu and Jones, Richard (2018) Model Checking Transactional Sapphire. Technical report. School of Computing, University of Kent, Kent, UK (Unpublished)

PDF (Detailed description of SPIN models for the Sapphire fully concurrent, replicating garbage collector) - Supplemental Material

Creative Commons Licence
This work is licensed under a Creative Commons Attribution 4.0 International License.
Download (333kB) Preview
Official URL


This report describes how we verified major aspects of the Transactional Sap- phire garbage collector for Java.

Item Type: Monograph (Technical report)
Projects: Projects 0 not found.
Projects 0 not found.
Uncontrolled keywords: Model checking, Concurrent garbage collection, Replicating garbage collection, Transactional memory, Model checking, Reference objects, Java
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing
Faculties > Sciences > School of Computing > Programming Languages and Systems Group
Depositing User: Richard Jones
Date Deposited: 04 Jun 2018 13:51 UTC
Last Modified: 29 May 2019 20:36 UTC
Resource URI: (The current URI for this page, for reference purposes)
Jones, Richard:
  • Depositors only (login required):


Downloads per month over past year