소프트웨어 엄밀 검증 Category