Researchers develop AI-driven machine-checking method for verifying software code

A team of computer scientists led by the University of Massachusetts Amherst recently announced a new method for automatically generating whole proofs that can be used to prevent software bugs and verify that the underlying code is correct.

This post was originally published on this site