#Isabelle

Showing 2 of 2 repositories tagged #isabelle, ranked by stars

Iptables_Semantics

Verified iptables Firewall Ruleset Analysis

★ 99 ⑂ 13 —

★ 75 ⑂ 9 —

Related Topics

#access-control #firewall #haskell #iptables #ipv4 #ipv6 #security #artificial-intelligence #conjecture #domain-specific-language #formal-methods #formal-proofs