english: And this tool was actually built on a solver that's deployed routinely around the world for conventional software verification.
non_english: Deze tool was eigenlijk gebouwd op een solver die routinematig wereldwijd wordt ingezet voor conventionele softwareverificatie.