A Practical Single Refinement Method for B

Steve Dunne; Stacey Conroy

doi:10.1007/978-3-540-87603-8_16

A Practical Single Refinement Method for B

Steve Dunne, Stacey Conroy

Research output: Chapter in Book/Report/Conference proceeding › Chapter

32 Downloads (Pure)

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 language	English
Title of host publication	Abstract State Machines, B and Z
Editors	Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca
Publisher	Springer Berlin Heidelberg
Pages	195-208
ISBN (Electronic)	978-3-540-87603-8
ISBN (Print)	978-3-540-87602-1
DOIs	https://doi.org/10.1007/978-3-540-87603-8_16
Publication status	Published - 2008
Externally published	Yes
Event	1st International Conference, Abstract State Machines, B and Z - London, United Kingdom Duration: 16 Sept 2008 → 18 Sept 2008 Conference number: 1st

Conference

Conference	1st International Conference, Abstract State Machines, B and Z
Abbreviated title	ABZ 2008
Country/Territory	United Kingdom
City	London
Period	16/09/08 → 18/09/08

Access to Document

10.1007/978-3-540-87603-8_16

Full textFinal published version, 147 KBLicence: CC BY-NC-ND

http://link.springer.com/10.1007/978-3-540-87603-8_16

Cite this

@inbook{b1a34c0f727143f8b834df8f88e0a9cc,

title = "A Practical Single Refinement Method for B",

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.",

author = "Steve Dunne and Stacey Conroy",

year = "2008",

doi = "10.1007/978-3-540-87603-8_16",

language = "English",

isbn = "978-3-540-87602-1",

pages = "195--208",

editor = "Egon B{\"o}rger and Michael Butler and Bowen, {Jonathan P.} and Paul Boca",

booktitle = "Abstract State Machines, B and Z",

publisher = "Springer Berlin Heidelberg",

note = "1st International Conference, Abstract State Machines, B and Z, ABZ 2008 ; Conference date: 16-09-2008 Through 18-09-2008",

}

TY - CHAP

T1 - A Practical Single Refinement Method for B

AU - Dunne, Steve

AU - Conroy, Stacey

N1 - Conference code: 1st

PY - 2008

Y1 - 2008

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-540-87603-8_16

DO - 10.1007/978-3-540-87603-8_16

M3 - Chapter

SN - 978-3-540-87602-1

SP - 195

EP - 208

BT - Abstract State Machines, B and Z

A2 - Börger, Egon

A2 - Butler, Michael

A2 - Bowen, Jonathan P.

A2 - Boca, Paul

PB - Springer Berlin Heidelberg

T2 - 1st International Conference, Abstract State Machines, B and Z

Y2 - 16 September 2008 through 18 September 2008

ER -

A Practical Single Refinement Method for B

Abstract

Conference

Access to Document

Fingerprint

Cite this