@MISC{Wright02fromkleene, author = {Joakim von Wright}, title = {From Kleene Algebra to Refinement Algebra}, year = {2002} }

Years of Citing Articles

Bookmark

OpenURL

Abstract

KAT (Kleene Algebra with Tests) have proved to be useful for reasoning about programs in a partial correctness framework. We describe DRA (demonic Refinement Algebra), a variation of KAT for total correctness and illustrate its modeling and reasoning power with a number of applications and examples.