Cited in
(28)- CompoSAT: specification-guided coverage for model finding
- Alloy*: a general-purpose higher-order relational constraint solver
- Kodkod
- CP-miner
- HMC
- FIREMAN
- Firmato
- NetCore
- Alloy*
- ConfigChecker
- Firewall Builder
- IP Addresses
- Iptables Semantics
- LOFT
- Simple Firewall
- Routing
- UPF Firewall
- CPSA
- nftables
- iptables
- Bordeaux
- CD2Alloy
- cddiff
- CompoSAT
- VERMEER
- Whispec
- WhyLine
- Verified iptables firewall analysis and verification
This page was built for software: margrave
