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

19 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 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 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