Verifyter develops PinDown, an automatic debugger of regression failures. PinDown uses machine learning to automatically identify bad code fast.

Product Description: Intelligent Test Bench,Verification