{"id":18844011,"url":"https://github.com/mulx10/veriflow","last_synced_at":"2025-04-14T07:32:46.391Z","repository":{"id":94123881,"uuid":"313690337","full_name":"MuLx10/VeriFlow","owner":"MuLx10","description":"Python implementation of VeriFlow: Verifying Network-Wide Invariants in Real Time","archived":false,"fork":false,"pushed_at":"2020-11-23T09:20:20.000Z","size":131,"stargazers_count":8,"open_issues_count":1,"forks_count":2,"subscribers_count":1,"default_branch":"main","last_synced_at":"2025-03-27T21:38:49.834Z","etag":null,"topics":["openflow","python","sdn","veriflow"],"latest_commit_sha":null,"homepage":"","language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/MuLx10.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":null,"security":null,"support":null,"governance":null}},"created_at":"2020-11-17T17:15:53.000Z","updated_at":"2024-02-08T22:46:47.000Z","dependencies_parsed_at":"2023-03-26T14:05:46.506Z","dependency_job_id":null,"html_url":"https://github.com/MuLx10/VeriFlow","commit_stats":null,"previous_names":[],"tags_count":1,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/MuLx10%2FVeriFlow","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/MuLx10%2FVeriFlow/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/MuLx10%2FVeriFlow/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/MuLx10%2FVeriFlow/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/MuLx10","download_url":"https://codeload.github.com/MuLx10/VeriFlow/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":248839575,"owners_count":21169831,"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","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":["openflow","python","sdn","veriflow"],"created_at":"2024-11-08T02:59:32.165Z","updated_at":"2025-04-14T07:32:46.070Z","avatar_url":"https://github.com/MuLx10.png","language":"Python","funding_links":[],"categories":[],"sub_categories":[],"readme":"# VeriFlow\n\n[VeriFlow: Verifying Network-Wide Invariants in Real Time](https://www.usenix.org/system/files/conference/nsdi13/nsdi13-final100.pdf)\n\n## Requirements\n  - Python 3\n \n## Running\n\n\n```bash\n$ python Main.py\n```\n\n## Sample Run\n\n```bash\n$ python Main.py\n  Enter network configuration file name (eg.: file.txt):\n  \u003e Topo/Topo1.txt\n  \n  Number of ECs: 9\n  Number of affected ECs: 9\n  Network is well-formed (No property violations)\n\n  Add rule by entering A#switchIP-rulePrefix-nextHopIP (eg.A#127.0.0.1-128.0.0.0/2-127.0.0.2)\n  Remove rule by entering R#switchIP-rulePrefix-nextHopIP (eg.R#127.0.0.1-128.0.0.0/2-127.0.0.2)\n  To exit type exit\n  \u003e A#127.0.0.1-128.0.0.0/2-127.0.0.2\n  \n  Number of ECs: 9\n  Number of affected ECs: 2\n  Network is well-formed (No property violations)\n  \n  Add rule by entering A#switchIP-rulePrefix-nextHopIP (eg.A#127.0.0.1-128.0.0.0/2-127.0.0.2)\n  Remove rule by entering R#switchIP-rulePrefix-nextHopIP (eg.R#127.0.0.1-128.0.0.0/2-127.0.0.2)\n  To exit type exit\n  \u003e exit\n ```\n\n  \n  \n  \n  \n  \n\n\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmulx10%2Fveriflow","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fmulx10%2Fveriflow","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmulx10%2Fveriflow/lists"}