Formal Verification of an Incremental Garbage Collector (Q4812315)
From MaRDI portal
scientific article; zbMATH DE number 2097558
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formal Verification of an Incremental Garbage Collector |
scientific article; zbMATH DE number 2097558 |
Statements
Formal Verification of an Incremental Garbage Collector (English)
0 references
7 September 2004
0 references
formal methods
0 references
type theory
0 references
temporal logics
0 references
co-induction
0 references
garbage collectors
0 references
