{"id":30703195,"url":"https://github.com/dfinity/formal-models","last_synced_at":"2026-02-13T11:02:13.725Z","repository":{"id":188734418,"uuid":"664967441","full_name":"dfinity/formal-models","owner":"dfinity","description":"TLA+ models of various IC components and canisters","archived":false,"fork":false,"pushed_at":"2025-07-02T10:59:04.000Z","size":7714,"stargazers_count":9,"open_issues_count":3,"forks_count":3,"subscribers_count":6,"default_branch":"master","last_synced_at":"2025-07-02T11:51:03.187Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"TLA","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"apache-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/dfinity.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":"CODEOWNERS","security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2023-07-11T06:37:23.000Z","updated_at":"2025-06-05T09:33:23.000Z","dependencies_parsed_at":"2024-01-24T12:25:51.786Z","dependency_job_id":"bd3b96b3-1d67-428c-b295-a53e913fb6dc","html_url":"https://github.com/dfinity/formal-models","commit_stats":null,"previous_names":["dfinity/tla-models","dfinity/formal-models"],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/dfinity/formal-models","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dfinity%2Fformal-models","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dfinity%2Fformal-models/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dfinity%2Fformal-models/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dfinity%2Fformal-models/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/dfinity","download_url":"https://codeload.github.com/dfinity/formal-models/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dfinity%2Fformal-models/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":273317765,"owners_count":25084037,"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-02T02:00:09.530Z","response_time":77,"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":[],"created_at":"2025-09-02T16:57:09.566Z","updated_at":"2026-02-13T11:02:08.687Z","avatar_url":"https://github.com/dfinity.png","language":"TLA","readme":"# Formal Models of the IC\n\nThis repository includes formal models of different Internet Computer (IC) components. Many of the models model canisters (IC smart contracts), but some model other aspects of the platform (e.g, subnet splitting, or a basic model of the consensus algorithm, or SEV/SNP upgrades).\n\nThe repository is organized by the different analysis tools. Currently, there are TLA+ models and Tamarin models.\n\n**NOTE**: if you've come here from the blog post describing the TLA+ models, note that they've now been moved to the `tla` subdirectory. Adjust the paths accordingly.\n\n## Contributing\n\nWe're currently not accepting external contributions.\n","funding_links":[],"categories":[],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fdfinity%2Fformal-models","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fdfinity%2Fformal-models","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fdfinity%2Fformal-models/lists"}