自動検証枠組み