Efficient Large-scale Trace Checking Using MapReduce

Marcello M. Bersani, Domenico Bianculli, Carlo Ghezzi +2

The problem of checking a logged event trace against a temporal logic specification arises in many practical cases. Unfortunately, known algorithms for an expressive logic like MTL…