Safety Guarantees from Explicit Resource Management

DOI10.1007/978-3-540-92188-2_3zbMath1209.68119OpenAlexW1811887748MaRDI QIDQ3602994

Patrick Maier, I. Stark, David Aspinall

Publication date: 12 February 2009

Published in: Formal Methods for Components and Objects (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-92188-2_3

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006)
• A program logic for resources
• Logic for Programming, Artificial Intelligence, and Reasoning
• Abstract Predicates and Mutable ADTs in Hoare Type Theory

This page was built for publication: Safety Guarantees from Explicit Resource Management