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]
Copy

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)
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
Date Deposited 22 Mar 2016 09:07
Last Modified 05 Mar 2025 22:55

Explore Further

picture_as_pdf
COM-Grov2016.pdf
subject
Accepted Version
Available under Creative Commons: Attribution-NonCommercial 3.0
View Download

Atom BibTeX OpenURL ContextObject in Span OpenURL ContextObject Dublin Core Dublin Core MPEG-21 DIDL Data Cite XML EndNote HTML Citation METS MODS RIOXX2 XML Reference Manager Refer ASCII Citation
Export

Downloads