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) (KAR id:67197)

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


Download (333kB) Preview
[thumbnail of Detailed description of SPIN models for the Sapphire fully concurrent, replicating garbage collector]
Preview
This file may not be suitable for users of assistive technology.
Request an accessible format
Official URL
https://github.com/rejones/sapphire/blob/master/mo...

Abstract

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: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Richard Jones
Date Deposited: 04 Jun 2018 13:51 UTC
Last Modified: 16 Feb 2021 13:55 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/67197 (The current URI for this page, for reference purposes)
Jones, Richard: https://orcid.org/0000-0002-8159-0297
  • Depositors only (login required):

Downloads

Downloads per month over past year