{"id":30873612,"url":"https://github.com/htdebeer/ltlchecker","last_synced_at":"2025-09-07T23:12:02.898Z","repository":{"id":31398058,"uuid":"34961251","full_name":"htdebeer/LTLChecker","owner":"htdebeer","description":"The LTL Checker, a ProM framework plug-in","archived":false,"fork":false,"pushed_at":"2015-05-03T15:11:57.000Z","size":3336,"stargazers_count":2,"open_issues_count":0,"forks_count":2,"subscribers_count":3,"default_branch":"master","last_synced_at":"2024-04-14T23:57:05.604Z","etag":null,"topics":["java","linear-temporal-logic","process-mining","prom-framework"],"latest_commit_sha":null,"homepage":null,"language":"Java","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/htdebeer.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2015-05-02T19:51:17.000Z","updated_at":"2019-12-17T18:20:29.000Z","dependencies_parsed_at":"2022-08-24T12:20:38.730Z","dependency_job_id":null,"html_url":"https://github.com/htdebeer/LTLChecker","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/htdebeer/LTLChecker","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/htdebeer%2FLTLChecker","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/htdebeer%2FLTLChecker/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/htdebeer%2FLTLChecker/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/htdebeer%2FLTLChecker/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/htdebeer","download_url":"https://codeload.github.com/htdebeer/LTLChecker/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/htdebeer%2FLTLChecker/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":274107977,"owners_count":25223473,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","status":"online","status_checked_at":"2025-09-07T02:00:09.463Z","response_time":67,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["java","linear-temporal-logic","process-mining","prom-framework"],"created_at":"2025-09-07T23:11:54.063Z","updated_at":"2025-09-07T23:12:02.888Z","avatar_url":"https://github.com/htdebeer.png","language":"Java","readme":"# The LTL Checker, a ProM framework plug-in\n\nIn 2004, as part of my Masters in Computer Science and Engineering at the\n[University of Technology Eindhoven](http://www.tue.nl) (TU/e), I did an\ninternship at the *Information Systems* group of the *Technology and Society*\ndepartment (TeMa). This group worked on *process mining*, which is\nthe process of extracting valuable information from event logs that are\ngenerated by processes. This group developed a tool in Java, called\n[ProM](http://www.processmining.org/prom/start), to mine (large) XML-based\nprocess logs.\n\nIn my internship I developed a plug-in for their ProM framework to check event logs for traces\nthat do or do not conform to certain properties specified in a [linear temporal\nlogic](https://en.wikipedia.org/wiki/Linear_temporal_logic) (LTL). In LTL one can specify properties such as:\n\n- Step X always follows step Y\n- All cases valued over $45.000 are handled by manager B\n- All issues created in the weekend are confirmed in two days maximum\n- And so on.\n\nFor more information about this plug-in, I refer to its\n[manual](Manual/LTLChecker-Manual.md) and a paper I co-authored with my supervising\nprofessor: W.M.P. van der Aalst and H.T. de Beer and B.F. van Dongen (2005) *Process\nMining and Verification of Properties: An Approach based on Temporal Logic* ([PDF](http://www.processmining.org/_media/publications/aalst2005f.pdf)).\n\n\nAs both the ProM framework and the LTL Checker plug-in have been developed\nfurther since then by others, I refer you to the latest version of the ProM framework to\ntry out the LTL Checker plugin: http://www.processmining.org/.\n","funding_links":[],"categories":[],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fhtdebeer%2Fltlchecker","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fhtdebeer%2Fltlchecker","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fhtdebeer%2Fltlchecker/lists"}