"software verification" - related articles and key terms