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…
Impactful Research and Tooling for Program Correctness
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get Involved