Compositional verification of interacting systems using event monads

DOI10.4230/LIPICS.ITP.2022.33MaRDI QIDQ6572577zbMATH OpenFDO

Authors Bohua Zhan, Yi Lv, Shu-Ling Wang, Gehang Zhao, Jifeng Hao, Hong Ye, Bican Xia

Publication date 15 July 2024

Full work available at URL https://doi.org/10.4230/LIPICS.ITP.2022.33

zbMATH Keywords

compositional verificationeventsHoare logic

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Compositional verification of interacting systems using event monads

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6572577)