specverify
