PrototypeCommon
diekmann/Iptables_Semantics
Verified iptables Firewall Ruleset Analysis
- Owner
- diekmann (personal account)
- Stars
- Stars: 100
- Forks
- Forks: 13
- Language
- Isabelle
- License
- BSD-2-Clause
- Created
- 2014
- Topics
- isabellefirewalliptableshaskellsecurityipv6ipv4access-control
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by diekmann
All 2 repos by diekmann- diekmann/wasm-fizzbuzzStars: 1,557C++Beta
Nearby in Isabelle
All Isabelle repos- seL4/isabelleStars: 143IsabellePrototype
- awslabs/AutoCorrodeStars: 113IsabellePrototype
- isabelle-prover/mirror-isabelleStars: 101IsabellePrototype