Verifying Reference Counting Implementations

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

Rupak Majumdar, Eddie Kohler, Michael Emmi, Ranjit Jhala

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

68Q60: Specification and verification (program logics, model checking, etc.)

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Related Items

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