Compositional Verification of Interacting Systems Using Event Monads.

Bohua Zhan, Yi Lv, Shuling Wang, Gehang Zhao, Jifeng Hao, Hong Ye, Bican Xia

Browse the full ITP paper archive.