Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra

Simon Foster, <ins>Kangfeng Ye</ins>, Ana Cavalcanti, Jim Woodcock

January, 2018