Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra

Simon Foster, Kangfeng Ye, Ana Cavalcanti +1

Reactive programs are ubiquitous in modern applications, and so verification is highly desirable. We present a verification strategy for reactive programs with a large or infinite…