biglogs
Data („Logic Mining from Process Logs: Towards Automated Specification and Verification”)
These materials could assist in the peer-review process, as they constitute the raw input data used for generating the logical specifications and experimental results presented in the article. They include the original event logs, pattern mappings, logical specifications, and encoded queries provided to automated theorem provers:
- Downloadable artifacts (as a zip archive): biglogs.
biglogs.txt · ostatnio zmienione: przez 127.0.0.1