Event Stream Processing with Multiple Threads

Sylvain Hallé, Raphaël Khoury, Sébastien Gaboury

Current runtime verification tools seldom make use of multi-threading to speed up the evaluation of a property on a large event trace. In this paper, we present an extension to the…