2 J ul 2 01 4 Managing LTL properties in Event-B refinement

@inproceedings{Schneider20142JU,
  title={2 J ul 2 01 4 Managing LTL properties in Event-B refinement},
  author={Steve A. Schneider and Helen Treharne and Heike Wehrheim and David M. Williams},
  year={2014}
}
Refinement in Event-B supports the development of systems via proof based step-wise refinement of events. This refinement approach ensures safety properties are preserved, but additional reasoning is required in order to establish liveness and fairness properties. In this paper we present results which allow a closer integration of two formal methods, Event… CONTINUE READING