margrave

swMATH28803MaRDI QIDQ40517FDOQ40517

Author name not available (Why is that?)

Cited In (3)

• CompoSAT: specification-guided coverage for model finding
• Alloy*: a general-purpose higher-order relational constraint solver
• Verified iptables firewall analysis and verification

This page was built for software: margrave