{"id":20608557,"url":"https://github.com/logicalhacking/extended_finite_state_machine_inference","last_synced_at":"2026-02-05T04:01:16.451Z","repository":{"id":95337550,"uuid":"322817852","full_name":"logicalhacking/Extended_Finite_State_Machine_Inference","owner":"logicalhacking","description":"Local mirror of the Archive of Formal Proof (AFP) entry \"Extended_Finite_State_Machine_Inference\". ","archived":false,"fork":false,"pushed_at":"2022-03-26T09:05:25.000Z","size":69,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"main","last_synced_at":"2026-01-29T01:48:15.573Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Isabelle","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/logicalhacking.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":"CITATION","codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2020-12-19T10:08:25.000Z","updated_at":"2022-03-26T09:05:28.000Z","dependencies_parsed_at":"2023-04-05T13:48:37.467Z","dependency_job_id":null,"html_url":"https://github.com/logicalhacking/Extended_Finite_State_Machine_Inference","commit_stats":null,"previous_names":[],"tags_count":3,"template":false,"template_full_name":null,"purl":"pkg:github/logicalhacking/Extended_Finite_State_Machine_Inference","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/logicalhacking%2FExtended_Finite_State_Machine_Inference","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/logicalhacking%2FExtended_Finite_State_Machine_Inference/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/logicalhacking%2FExtended_Finite_State_Machine_Inference/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/logicalhacking%2FExtended_Finite_State_Machine_Inference/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/logicalhacking","download_url":"https://codeload.github.com/logicalhacking/Extended_Finite_State_Machine_Inference/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/logicalhacking%2FExtended_Finite_State_Machine_Inference/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":29110544,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-02-05T03:44:17.043Z","status":"ssl_error","status_checked_at":"2026-02-05T03:44:12.077Z","response_time":65,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.5:443 state=error: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"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":[],"created_at":"2024-11-16T10:11:00.477Z","updated_at":"2026-02-05T04:01:16.417Z","avatar_url":"https://github.com/logicalhacking.png","language":"Isabelle","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Inference of Extended Finite State Machines (Extended_Finite_State_Machine_Inference)\n\nThis git repository contains a local mirror of the \n[Archive of Formal Proofs (AFP)](https://www.isa-afp.org) entry \n[*Inference of Extended Finite State Machines*](https://www.isa-afp.org/entries/Extended_Finite_State_Machine_Inference.html).\n\nThe official AFP releases are tagged. Additionally, this repository\nmay contain extensions (i.e., a development version) that may be\nsubmitted, as an update to the existing entry, at a later point in time.\n\n## How to build\n\n```console\nachim@logicalhacking:~$ isabelle build -D Extended_Finite_State_Machine_Inference-devel\n```\n\n## Authors\n\n* Michael Foster\n* [Achim D. Brucker](http://www.brucker.ch/)\n* Ramsay G. Taylor\n* John Derrick\n\n## License\n\nThis project is licensed under a 3-clause BSD-style license.\n\nSPDX-License-Identifier: BSD-3-Clause\n\n## Upstream Repository\n\nThe upstream git repository, i.e., the single source of truth, for this project is hosted \nby the [Software Assurance \u0026 Security Research Team](https://logicalhacking.com) at\n\u003chttps://git.logicalhacking.com/afp-mirror/Extended_Finite_State_Machine_Inference\u003e.\n\n## Publications\n\n* Michael Foster, Achim D. Brucker, Ramsay G. Taylor, Siobhán North, and John Derrick. Incorporating \n  Data into EFSM Inference. In Software Engineering and Formal Methods (SEFM). Lecture Notes in \n  Computer Science (11724), pages 257-272, Springer-Verlag, 2019, \n  doi:[10.1007/978-3-030-30446-1_14](https://doi.org/10.1007/978-3-030-30446-1_14).\n  \u003chttps://www.brucker.ch/bibliography/abstract/foster.ea-incorporating-2019\u003e\n\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Flogicalhacking%2Fextended_finite_state_machine_inference","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Flogicalhacking%2Fextended_finite_state_machine_inference","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Flogicalhacking%2Fextended_finite_state_machine_inference/lists"}