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 proceedingChapter

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 languageEnglish
Title of host publicationAbstract State Machines, Alloy, B, TLA, VDM, and Z
Subtitle of host publication5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
EditorsMichael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro
PublisherSpringer International Publishing
Pages282-289
Number of pages8
ISBN (Electronic)9783319336008
ISBN (Print)9783319335995
DOIs
Publication statusPublished - 11 May 2016

Publication series

NameLecture Notes in Computer Science
PublisherSpringer International Publishing
Volume9675
ISSN (Print)0302-9743

Fingerprint

Formal methods

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 = "5",
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 proceedingChapter

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