Impactful Research and Tooling for Program Correctness
We have been developing two frameworks — VeriAbs and VeriFuzz — to solve the problems of formal methods to improve software quality, which often fail to scale to the size and complexity of software.
