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.

from Tech Xplore - electronic gadgets, technology advances and research news https://ift.tt/jPhwmMT