Automatic Inference of Access Permissions

DOI10.1007/978-3-642-27940-9_14zbMath1326.68092OpenAlexW169148756MaRDI QIDQ2891412

Pietro Ferrara, Peter Müller

Publication date: 15 June 2012

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

Full work available at URL: https://doi.org/10.1007/978-3-642-27940-9_14

Mathematics Subject Classification ID

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

Uses Software

• Daikon
• Chalice
• VeriFast
• VeriCool
• TVLA
• Houdini

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The Daikon system for dynamic detection of likely invariants
• Static Contract Checking with Abstract Interpretation
• Polymorphic Fractional Capabilities
• Grammar Analysis and Parsing by Abstract Interpretation
• A Basis for Verifying Multi-threaded Programs
• Verifying properties of parallel programs
• Systematic design of program transformation frameworks by abstract interpretation
• Compositional shape analysis by means of bi-abduction
• Separation logic and abstraction
• Permission accounting in separation logic
• Programming Languages and Systems
• Programming Languages and Systems

This page was built for publication: Automatic Inference of Access Permissions