[akkaygin]

What is your (company's) motivation behind using non-deterministic tools for "verification" instead of actually verifying designs using formal methods?