A Framework for Automated and Certified Refinement Steps

Andreas Griesmayer, Zhiming Liu, Charles Morisset +1

The refinement calculus provides a methodology for transforming an abstract specification into a concrete implementation, by following a succession of refinement rules. These rules…