A Practical Single Refinement Method for B

Steve Dunne, Stacey Conroy

Research output: Chapter in Book/Report/Conference proceedingChapter

7 Downloads (Pure)


We propose a single renement method for B, inspired directly by Gardiner and Morgan's longstanding single complete rule for data renement, and rendered practical by application of the current first author's recent rst-order characterisation of refinement between monotonic computations.
Original languageEnglish
Title of host publicationAbstract State Machines, B and Z
EditorsEgon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca
PublisherSpringer Berlin Heidelberg
ISBN (Electronic)978-3-540-87603-8
ISBN (Print)978-3-540-87602-1
Publication statusPublished - 2008
Externally publishedYes
Event1st International Conference, Abstract State Machines, B and Z - London, United Kingdom
Duration: 16 Sep 200818 Sep 2008
Conference number: 1st


Conference1st International Conference, Abstract State Machines, B and Z
Abbreviated titleABZ 2008
Country/TerritoryUnited Kingdom

Cite this