Calculational verification of reactive programs with reactive relations and Kleene algebra

DOI10.1007/978-3-030-02149-8_13OpenAlexW2807209221MaRDI QIDQ1617824

Ana Cavalcanti, Kangfeng Ye, Simon Foster, J. C. P. Woodcock

Publication date: 8 November 2018

Full work available at URL: https://arxiv.org/abs/1806.02101

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (1)

Automated verification of reactive and concurrent programs by calculation

This page was built for publication: Calculational verification of reactive programs with reactive relations and Kleene algebra