Autoverification Standards and Requirements