Dealing with observability in interaction-based Offline Runtime Verification of Distributed Systems

Erwan Mahe, Boutheina Bannour, Christophe Gaston +2

Interactions are formal models describing asynchronous communications within a Distributed System (DS). They can be drawn in the fashion of sequence diagrams and executed thanks to…