Invariant discovery and refinement plans for formal modelling in Event-B

@inproceedings{Rodriguez2013InvariantDA,
  title={Invariant discovery and refinement plans for formal modelling in Event-B},
  author={Maria Teresa Llano Rodriguez},
  year={2013}
}
The continuous growth of complex systems makes the development of correct software increasingly challenging. In order to address this challenge, formal methods offer rigorous mathematical techniques to model and verify the correctness of systems. Refinement is one of these techniques. By allowing a developer to incrementally introduce design details, refinement provides a powerful mechanism for mastering the complexities that arise when formally modelling systems. Here the focus is on a posit… CONTINUE READING
1 Extracted Citations
114 Extracted References
Similar Papers

Referenced Papers

Publications referenced by this paper.

Similar Papers

Loading similar papers…