Research Online

Logo

Goldsmiths - University of London

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] (Forthcoming)

[img]
Preview
Text
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)

Departments, Centres and Research Units:

Computing

Dates:

DateEvent
May 2016Published

Event Location:

Linz, Austria

Date range:

23-27 May 2016

Item ID:

17350

Date Deposited:

22 Mar 2016 09:07

Last Modified:

10 Jul 2018 19:11

URI:

http://research.gold.ac.uk/id/eprint/17350

View statistics for this item...

Edit Record Edit Record (login required)