TemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties.

Wei Dou, Domenico Bianculli, Lionel C. Briand

Browse the full RV paper archive.