swMATH28803MaRDI QIDQ40517FDOQ40517
Author name not available (Why is that?)
Official website: https://dl.acm.org/citation.cfm?id=1924980
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
