Abstract
| Original language | English |
|---|---|
| Title of host publication | Abstract State Machines, Alloy, B, TLA, VDM, and Z |
| Subtitle of host publication | 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings |
| Editors | Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro |
| Publisher | Springer International Publishing |
| Pages | 282-289 |
| Number of pages | 8 |
| ISBN (Electronic) | 9783319336008 |
| ISBN (Print) | 9783319335995 |
| DOIs | |
| Publication status | Published - 11 May 2016 |
Publication series
| Name | Lecture Notes in Computer Science |
|---|---|
| Publisher | Springer International Publishing |
| Volume | 9675 |
| ISSN (Print) | 0302-9743 |
Fingerprint
Cite this
}
Semi-Automated Design Space Exploration for Formal Modelling. / Grov, Gudmund; Ireland, Andrew; Llano, Maria Teresa; Kovacs, Peter; Colton, Simon; Gow, Jeremy.
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. ed. / Michael Butler; Klaus-Dieter Schewe; Atif Mashkoor; Miklos Biro. Springer International Publishing, 2016. p. 282-289 (Lecture Notes in Computer Science; Vol. 9675).Research output: Chapter in Book/Report/Conference proceeding › Chapter
TY - CHAP
T1 - Semi-Automated Design Space Exploration for Formal Modelling
AU - Grov, Gudmund
AU - Ireland, Andrew
AU - Llano, Maria Teresa
AU - Kovacs, Peter
AU - Colton, Simon
AU - Gow, Jeremy
PY - 2016/5/11
Y1 - 2016/5/11
N2 - 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.
AB - 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.
U2 - 10.1007/978-3-319-33600-8_22
DO - 10.1007/978-3-319-33600-8_22
M3 - Chapter
SN - 9783319335995
T3 - Lecture Notes in Computer Science
SP - 282
EP - 289
BT - Abstract State Machines, Alloy, B, TLA, VDM, and Z
A2 - Butler, Michael
A2 - Schewe, Klaus-Dieter
A2 - Mashkoor, Atif
A2 - Biro, Miklos
PB - Springer International Publishing
ER -