Semi-Automated Design Space Exploration for Formal Modelling

Grov, Gudmund; Ireland, Andrew; Llano, Maria Teresa; Kovacs, Peter; Colton, Simon and Gow, Jeremy. 2016. 'Semi-Automated Design Space Exploration for Formal Modelling'. In: 5th International ABZ Conference. Linz, Austria 23-27 May 2016. [Conference or Workshop Item]

COM-Grov2016.pdf - Accepted Version
Available under License Creative Commons Attribution Non-commercial.

Download (295kB) | Preview

Abstract or Description

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.

Item Type:

Conference or Workshop Item (Paper)

Identification Number (DOI):

Additional Information:

This work has been supported by EPSRC platform grants EP/J001058/1 and EP/N014758/1, and FP7 WHIM project 611560. We are grateful for feedback on our approach by Jean-Raymond Abrial.


Formal Methods, Design, Modelling, Refinement, Abstraction, Event-B, Automated Reasoning, Automated Theory Formation

Departments, Centres and Research Units:



11 May 2016Published

Event Location:

Linz, Austria

Date range:

23-27 May 2016

Item ID:


Date Deposited:

22 Mar 2016 09:07

Last Modified:

29 Apr 2020 16:15


View statistics for this item...

Edit Record Edit Record (login required)