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