Downloads

GoldMine's assertion generator can be downloaded for academic and research use. Please send an email if you want to use it.

GoldMine's fault detector can be downloaded here.

STAR and HYBRO