Kleene Algebra with Tests (KAT) has proved to be useful for reasoning about programs in a partial correctness framework. We describe Demonic Refinement Algebra (DRA), a variation of KAT for total correctness and illustrate its modeling and reasoning power with a number of applications and examples.
CITATION STYLE
Von Wright, J. (2002). From kleene algebra to refinement algebra. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2386, pp. 233–262). Springer Verlag. https://doi.org/10.1007/3-540-45442-X_14
Mendeley helps you to discover research relevant for your work.