Verified Firewall Ruleset Verification

No ratings

Presented at CCC 2015 by

Cornelius Diekmann

Math, Functional Programming, Theorem Proving, and an Introduction to Isabelle/HOL (en)