This repository contains the code for the master thesis "Auditing Controls using Linear Temporal Logic over Event Knowledge Graphs". The project was carried out in Sifters, a company specialized in financial data analytics, with supervision from the Process Analytics group of the Eindhoven University of Technology.
For details about running the code, please refer to Chapter 7 of the thesis.