A Refinement Methodology for Object-Oriented Programs

DOI10.1007/978-3-642-18070-5_11zbMath1308.68048OpenAlexW1823684783MaRDI QIDQ3067544

Sylvain Boulmé, Asma Tafat, Claude Marché

Publication date: 21 January 2011

Published in: Formal Verification of Object-Oriented Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-18070-5_11

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

A Refinement Methodology for Object-Oriented Programs

Uses Software

• KRAKATOA
• ACSL
• Why3
• JML
• Spec#
• Caduceus
• Boogie

Cites Work

• Unnamed Item
• Region-based memory management
• Specification and verification challenges for sequential object-oriented programs
• A Refinement Methodology for Object-Oriented Programs
• The B-Book
• Refinement Calculus
• Polymorphic type, region and effect inference
• Programming Languages and Systems

This page was built for publication: A Refinement Methodology for Object-Oriented Programs