Logic Mining from Process Logs: Towards Automated Specification and Verification

Radoslaw Klimek, Julia Witek

Logical specifications play a key role in the formal analysis of behavioural models. Automating the derivation of such specifications is particularly valuable in complex systems, w…