Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors

Wolfgang Ahrendt, Ludovic Henrio, Wytse Oortwijn

Since distributed software systems are ubiquitous, their correct functioning is crucially important. Static verification is possible in principle, but requires high expertise and e…