Image:
Baldur: UMass Amherst researchers unveil AI-driven software verification breakthrough
A team of computer researchers at the University of Massachusetts Amherst in the US has unveiled a cutting-edge method that could significantly reduce software bugs and enhance code verification.
Named Baldur, this innovative approach uses the power of large language models (LLMs) in combination with a state-of-the-art tool called Thor, achieving an unprecedented efficacy rate of nearly 66%...
To continue reading this article...
Join Computing
- Unlimited access to real-time news, analysis and opinion from the technology industry
- Receive important and breaking news in our daily newsletter
- Be the first to hear about our events and awards programmes
- Join live member only interviews with IT leaders at the ‘IT Lounge’; your chance to ask your burning tech questions and have them answered
- Access to the Computing Delta hub providing market intelligence and research
- Receive our members-only newsletter with exclusive opinion pieces from senior IT Leaders
