Formal Verification of an Incremental Garbage Collector
type: Item
instance of: scholarly article
title: Formal Verification of an Incremental Garbage Collector
zbMATH Open document ID: 1074.68548
author: Solange Coupet-Grimal
author: Catherine Nouvet
publication date: 2004-09-07T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 03B44
zbMATH DE Number: 2097558
zbMATH Keywords: formal methods
zbMATH Keywords: type theory
zbMATH Keywords: temporal logics
zbMATH Keywords: co-induction
zbMATH Keywords: garbage collectors
describes a project that uses: Coq
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1093/logcom/13.6.815
OpenAlex ID: W2092208261
DOI: 10.1093/LOGCOM/13.6.815
published in: Journal Of Logic And Computation
description: scientific article; zbMATH DE number 2097558