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]

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)
Identification Number (DOI):	https://doi.org/10.1007/978-3-319-33600-8_22
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.
Keywords:	Formal Methods, Design, Modelling, Refinement, Abstraction, Event-B, Automated Reasoning, Automated Theory Formation
Departments, Centres and Research Units:	Computing
Dates:	Date Event 11 May 2016 Published
Event Location:	Linz, Austria
Date range:	23-27 May 2016
Item ID:	17350
Date Deposited:	22 Mar 2016 09:07
Last Modified:	29 Apr 2020 16:15
URI:	https://research.gold.ac.uk/id/eprint/17350

View statistics for this item...

Edit Record (login required)