A Practical Single Refinement Method for B

DOI10.1007/978-3-540-87603-8_16zbMath1156.68470OpenAlexW1581814209MaRDI QIDQ3535376

Steve Dunne, Stacey Conroy

Publication date: 11 November 2008

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

Full work available at URL: https://doi.org/10.1007/978-3-540-87603-8_16

Mathematics Subject Classification ID

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

Cites Work

• A single complete rule for data refinement
• The B-Book
• Refinement Calculus
• A single complete refinement rule for Z
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Practical Single Refinement Method for B