3 ms·
I used Z3 at work to check equivalence of two sets of firewall rules https://ahelwer.ca/post/2018-02-13-z3-firewall/ https://ahelwer.ca/post/2018-02-13-z3-firew
by ahelwer 5y ago
I used Z3 at work to check equivalence of two sets of firewall rules https://ahelwer.ca/post/2018-02-13-z3-firewall/ https://ahelwer.ca/post/2018-02-13-z3-firewall/