Software verification platform