margrave

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