"UMass Amherst Researchers Bring Dream Of Bug-Free Software One Step Closer to Reality"
A team of computer scientists led by the University of Massachusetts (UMass) Amherst announced a new method to automatically generate whole proofs that can be used to prevent software bugs and verify the correctness of the underlying code. Baldur is the new method involving Large Language Models' (LLMs) Artificial Intelligence (AI) power. Combined with the Thor tool, an efficacy of nearly 66 percent is reached. In regards to security breaches or precision software used for space exploration or controlling healthcare devices, the effects of buggy software can range from glitchy formatting or sudden crashes to something potentially catastrophic. This article continues to discuss the prize-winning Baldur method that automatically verifies software with nearly 66 percent efficacy.
Submitted by grigby1