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

1 Citation (Scopus)
37 Downloads (Pure)


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
Number of pages8
ISBN (Electronic)9783319336008
ISBN (Print)9783319335995
Publication statusPublished - 11 May 2016

Publication series

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


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

Cite this