1 code implementation • 9 May 2023 • Alessio Cecconi, Luca Barbaro, Claudio Di Ciccio, Arik Senderovich
In a mining context, these specifications are inferred from, and checked on, multi-sets of runs recorded by information systems (namely, event logs).