Software Verification Witnesses Thoroughness. - Mordan, V. O.; Mutilin, V. S. (Programming & Computer Software, 2026)