Checking Consistency of Event-driven Traces

Parosh Aziz Abdulla, Mohamed Faouzi Atig, R. Govind +2

Event-driven programming is a popular paradigm where the flow of execution is controlled by two features: (1) shared memory and (2) sending and receiving of messages between multip…