verifyspec
