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 proceedingConference PaperResearchpeer-review

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
Place of PublicationCham Switzerland
PublisherSpringer
Pages282-289
Number of pages8
ISBN (Electronic)9783319336008
ISBN (Print)9783319335995
DOIs
Publication statusPublished - 2016
Externally publishedYes
EventInternational Conference on Abstract State Machines (ASM), Alloy, B and Z 2016 - Linz, Austria
Duration: 23 May 201627 May 2016
Conference number: 5th
http://abzconference.org

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume9675
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceInternational Conference on Abstract State Machines (ASM), Alloy, B and Z 2016
CountryAustria
CityLinz
Period23/05/1627/05/16
Internet address

Keywords

  • Abstraction
  • Design
  • Event-B
  • Theory formation

Cite this