CompoSAT

swMATH38502MaRDI QIDQ54202FDOQ54202

Author name not available (Why is that?)

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)

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

This page was built for software: CompoSAT