Software verification related domains (6)