Semi-Automated Design Space Exploration for Formal Modelling

Gudmund Grov; Andrew Ireland; Maria Teresa Llano; Peter Kovacs; Simon Colton; Jeremy Gow

doi:10.1007/978-3-319-33600-8_22

Semi-Automated Design Space Exploration for Formal Modelling

Gudmund Grov, Andrew Ireland, Maria Teresa Llano, Peter Kovacs, Simon Colton, Jeremy Gow

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

20 Downloads (Pure)

Abstract

Refinement based formal methods allow the modelling of systems through incremental steps via abstraction. Discovering the right levels of abstraction, formulating correct and meaningful invariants, and analysing faulty models are some of the challenges faced when using this technique. We propose Design Space Exploration that aims to assist a designer by automatically providing high-level modelling guidance.

Original language	English
Title of host publication	Abstract State Machines, Alloy, B, TLA, VDM, and Z
Subtitle of host publication	5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
Editors	Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro
Publisher	Springer International Publishing
Pages	282-289
Number of pages	8
ISBN (Electronic)	9783319336008
ISBN (Print)	9783319335995
DOIs	https://doi.org/10.1007/978-3-319-33600-8_22
Publication status	Published - 11 May 2016

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer International Publishing
Volume	9675
ISSN (Print)	0302-9743

Access to Document

10.1007/978-3-319-33600-8_22

Download pdf
The final publication is available at Springer via http://dx.doi.org/[insert DOI]
Accepted author manuscript, 288 KBLicence: Copyright Publisher

Fingerprint Dive into the research topics of 'Semi-Automated Design Space Exploration for Formal Modelling'. Together they form a unique fingerprint.

Cite this

Grov, G., Ireland, A., Llano, M. T., Kovacs, P., Colton, S., & Gow, J. (2016). Semi-Automated Design Space Exploration for Formal Modelling. In M. Butler, K-D. Schewe, A. Mashkoor, & M. Biro (Eds.), Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings (pp. 282-289). (Lecture Notes in Computer Science; Vol. 9675). Springer International Publishing. https://doi.org/10.1007/978-3-319-33600-8_22

Grov, Gudmund ; Ireland, Andrew ; Llano, Maria Teresa ; Kovacs, Peter ; Colton, Simon ; Gow, Jeremy. / Semi-Automated Design Space Exploration for Formal Modelling. Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. editor / Michael Butler ; Klaus-Dieter Schewe ; Atif Mashkoor ; Miklos Biro. Springer International Publishing, 2016. pp. 282-289 (Lecture Notes in Computer Science).

@inbook{f09935ddeb7f47979bb85f44f53f256b,

title = "Semi-Automated Design Space Exploration for Formal Modelling",

abstract = "Refinement based formal methods allow the modelling of systems through incremental steps via abstraction. Discovering the right levels of abstraction, formulating correct and meaningful invariants, and analysing faulty models are some of the challenges faced when using this technique. We propose Design Space Exploration that aims to assist a designer by automatically providing high-level modelling guidance.",

author = "Gudmund Grov and Andrew Ireland and Llano, {Maria Teresa} and Peter Kovacs and Simon Colton and Jeremy Gow",

year = "2016",

month = may,

day = "11",

doi = "10.1007/978-3-319-33600-8_22",

language = "English",

isbn = "9783319335995",

series = "Lecture Notes in Computer Science",

publisher = "Springer International Publishing",

pages = "282--289",

editor = "Michael Butler and Klaus-Dieter Schewe and Atif Mashkoor and Miklos Biro",

booktitle = "Abstract State Machines, Alloy, B, TLA, VDM, and Z",

address = "Switzerland",

}

Grov, G, Ireland, A, Llano, MT, Kovacs, P, Colton, S & Gow, J 2016, Semi-Automated Design Space Exploration for Formal Modelling. in M Butler, K-D Schewe, A Mashkoor & M Biro (eds), Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. Lecture Notes in Computer Science, vol. 9675, Springer International Publishing, pp. 282-289. https://doi.org/10.1007/978-3-319-33600-8_22

Semi-Automated Design Space Exploration for Formal Modelling. / Grov, Gudmund; Ireland, Andrew; Llano, Maria Teresa; Kovacs, Peter; Colton, Simon; Gow, Jeremy.

Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. ed. / Michael Butler; Klaus-Dieter Schewe; Atif Mashkoor; Miklos Biro. Springer International Publishing, 2016. p. 282-289 (Lecture Notes in Computer Science; Vol. 9675).

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

TY - CHAP

T1 - Semi-Automated Design Space Exploration for Formal Modelling

AU - Grov, Gudmund

AU - Ireland, Andrew

AU - Llano, Maria Teresa

AU - Kovacs, Peter

AU - Colton, Simon

AU - Gow, Jeremy

PY - 2016/5/11

Y1 - 2016/5/11

N2 - Refinement based formal methods allow the modelling of systems through incremental steps via abstraction. Discovering the right levels of abstraction, formulating correct and meaningful invariants, and analysing faulty models are some of the challenges faced when using this technique. We propose Design Space Exploration that aims to assist a designer by automatically providing high-level modelling guidance.

AB - Refinement based formal methods allow the modelling of systems through incremental steps via abstraction. Discovering the right levels of abstraction, formulating correct and meaningful invariants, and analysing faulty models are some of the challenges faced when using this technique. We propose Design Space Exploration that aims to assist a designer by automatically providing high-level modelling guidance.

U2 - 10.1007/978-3-319-33600-8_22

DO - 10.1007/978-3-319-33600-8_22

M3 - Chapter

SN - 9783319335995

T3 - Lecture Notes in Computer Science

SP - 282

EP - 289

BT - Abstract State Machines, Alloy, B, TLA, VDM, and Z

A2 - Butler, Michael

A2 - Schewe, Klaus-Dieter

A2 - Mashkoor, Atif

A2 - Biro, Miklos

PB - Springer International Publishing

ER -

Grov G, Ireland A, Llano MT, Kovacs P, Colton S, Gow J. Semi-Automated Design Space Exploration for Formal Modelling. In Butler M, Schewe K-D, Mashkoor A, Biro M, editors, Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. Springer International Publishing. 2016. p. 282-289. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-319-33600-8_22