CD2Alloy

swMATH38503MaRDI QIDQ54203FDOQ54203

Author name not available (Why is that?)

Official website: https://www.se-rwth.de/materials/cd2alloy/

Cited In (8)

• CompoSAT: specification-guided coverage for model finding
• Alloy*
• Bordeaux
• cddiff
• CompoSAT
• VERMEER
• Whispec
• WhyLine

This page was built for software: CD2Alloy