Automated Verification of Reactive and Concurrent Programs by Calculation

Simon Foster, Kangfeng Ye, Ana Cavalcanti +1

Reactive programs combine traditional sequential programming constructs with primitives to allow communication with other concurrent agents. They are ubiquitous in modern applicati…