CompoSAT

MaRDI QIDQ54202swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F978-3-319-95582-7_34

Described by source

• CompoSAT: specification-guided coverage for model finding

Cited in

(9)

• Alloy*
• margrave
• Bordeaux
• CD2Alloy
• cddiff
• VERMEER
• Whispec
• WhyLine
• Pardinus: a temporal relational model finder

This page was built for software: CompoSAT