# 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} }

- Published 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

#### From This Paper

##### Figures, tables, results, connections, and topics extracted from this paper.

1 Extracted Citations

114 Extracted References

Similar Papers

#### Citing Papers

##### Publications influenced by this paper.

#### Referenced Papers

##### Publications referenced by this paper.

Showing 1-10 of 114 references

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential