{"version":"1.0","type":"link","title":"Refinement calculus - Newikis","description":"The refinement calculus is a formalized approach to stepwise refinement for program construction. The required behaviour of the final executable program is specified as an abstract and perhaps non-executable \"program\", which is then refined by a series of correctness-preserving transformations into…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}