EVS - Efficient Verification System