A Practical Single Refinement Method for B

DOI10.1007/978-3-540-87603-8_16MaRDI QIDQ3535376zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• A single complete rule for data refinement
• Laws of data refinement
• A single complete refinement rule for Z
• scientific article; zbMATH DE number 3943003
• scientific article; zbMATH DE number 2013583

Cites work

• scientific article; zbMATH DE number 46957 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 605917 (Why is no real title available?)
• scientific article; zbMATH DE number 2013583 (Why is no real title available?)
• scientific article; zbMATH DE number 2080005 (Why is no real title available?)
• scientific article; zbMATH DE number 194642 (Why is no real title available?)
• A single complete refinement rule for Z
• A single complete rule for data refinement
• Refinement Calculus
• The B-Book

Cited in

(1)

• A single complete rule for data refinement

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3535376)