Using garbage collection in model checking

DOI10.1007/10722468_2MaRDI QIDQ2753748zbMATH OpenFDO

Authors Radu Iosif, Riccardo Sisto

Publication date 11 November 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/10722468_2

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computing methodologies and applications (68U99)

Recommendations

• Automated verification of practical garbage collectors
• Automated verification of practical garbage collectors
• Formal Verification of an Incremental Garbage Collector
• Verifying a concurrent garbage collector using a rely-guarantee methodology
• Verifying a concurrent garbage collector with a rely-guarantee methodology
• Using models to model-check recursive schemes
• Using models to model-check recursive schemes

Cited in

(2)

• Markovian queue with garbage collection
• Translating Java for multiple model checkers: The Bandera back-end

Describes a project that uses

Uses Software

• Java PathFinder
• Bandera
• SPIN
• dSPIN

This page was built for publication: Using garbage collection in model checking

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2753748)