Invariant discovery and refinement plans for formal modelling in Event-B
The continuous growth of complex systems makes the development of correct software increasingly challenging. In order to address this challenge, formal methods o er rigorous mathematical techniques to model and verify the correctness of systems. Refinement is one of these techniques. By allowing a d...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
Heriot-Watt University
2013
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.616587 |