Compositional Verification of Interacting Systems Using Event Monads.

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

Published in: ITP (2022)

Keyphrases

distributed systems
management system
event detection
computer systems
complex systems
databases
decision trees
case study
similarity measure
formal methods
automated verification