And this tool was actually built on a solver that's deployed routinely around the world for conventional software verification.

这个工具实际上是建立在经常被部署在世界各地用于传统的软件验证的解算器上的。