Verifying Reference Counting Implementations

DOI10.1007/978-3-642-00768-2_30zbMath1234.68254OpenAlexW1599830632MaRDI QIDQ3617768

Eddie Kohler, Ranjit Jhala, Michael Emmi, Rupak Majumdar

Publication date: 31 March 2009

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-00768-2_30

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Reference count analysis with shallow aliasing, Automatic Verification of Directory-Based Consistency Protocols

Uses Software

• BLAST
• SLAM
• Spec#
• ESC/Java
• Smallfoot

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A methodology for hardware verification using compositional model checking
• Abstractions from proofs
• Temporal Verification of Reactive Systems: Response
• Grammar Analysis and Parsing by Abstract Interpretation
• Verifying safety properties of concurrent Java programs using 3-valued logic
• Lazy abstraction
• Predicate abstraction for software verification
• A framework for numeric analysis of array operations
• Computer Aided Verification
• Computer Aided Verification
• Array Abstractions from Proofs
• Static Analysis
• Computer Aided Verification
• Verification, Model Checking, and Abstract Interpretation