A Practical Single Refinement Method for B

Steve Dunne, Stacey Conroy

Research output: Chapter in Book/Report/Conference proceedingChapter

Abstract

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
Pages195-208
ISBN (Electronic)978-3-540-87603-8
ISBN (Print)978-3-540-87602-1
DOIs
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

Conference

Conference1st International Conference, Abstract State Machines, B and Z
Abbreviated titleABZ 2008
CountryUnited Kingdom
CityLondon
Period16/09/0818/09/08

Cite this