1 paper · 1 filter
Masaki Waga, Ãtienne André, Ichiro Hasuo
Given a log and a specification, timed pattern matching aims at exhibiting for which start and end dates a specification holds on that log. For example, "a given action is always f…