I don't know, where to put the validators, but here is the GWIT doi and it is waiting on Zenodo for SV-COMP 2024.