Mechanical verification of a garbage collector
- 1 January 1999
- book chapter
- Published by Springer Nature
- p. 1258-1283
- https://doi.org/10.1007/bfb0098007
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAALPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Computing abstractions of infinite state systems compositionally and automaticallyPublished by Springer Nature ,1998
- InVeSt : A tool for the verification of invariantsPublished by Springer Nature ,1998
- Construction of abstract state graphs with PVSPublished by Springer Nature ,1997
- PVS: Combining specification, proof checking, and model checkingPublished by Springer Nature ,1996
- Experiments in theorem proving and model checking for protocol verificationPublished by Springer Nature ,1996
- A mechanically verified incremental garbage collectorFormal Aspects of Computing, 1994
- An incremental garbage collection algorithm for multi-mutator systemsDistributed Computing, 1988
- “Algorithms for on-the-fly garbage collection” revisitedInformation Processing Letters, 1987
- Algorithms for on-the-fly garbage collectionACM Transactions on Programming Languages and Systems, 1984