Conference
Use of Tabular Expressions for Refinement Automation
Abstract
We aim to develop sound and effective techniques to automate formal modelling and refinement from tabular expressions using a correct-by-construction approach. In this work, we present a refinement strategy to generate formal models from tabular expressions, as they can be used in the Event-B modelling paradigm. The proposed refinement strategy permits us to develop an abstract model using tabular expressions and a series of Event-B models …
Authors
Singh NK; Lawford M; Maibaum TSE; Wassyng A
Series
Lecture Notes in Computer Science
Volume
10563
Pagination
pp. 167-182
Publisher
Springer Nature
Publication Date
2017
DOI
10.1007/978-3-319-66854-3_13
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743