CompoSAT

swMATH38502MaRDI QIDQ54202FDOQ54202

Author name not available (Why is that?)

Described by source

• CompoSAT: specification-guided coverage for model finding

Cited In (1)

• Pardinus: a temporal relational model finder

This page was built for software: CompoSAT