Researchers unveil AI-driven software verification breakthrough

Most effective and efficient means yet devised for verifying software correctness, they claim

clock • 2 min read
Baldur: UMass Amherst researchers unveil AI-driven software verification breakthrough
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

Join now

 

Already a Computing member?

Login

You may also like
Nvida revenues rise 265% on AI chips

Finance and Reporting

Looks set to make Nvidia more valuable than Amazon and Alphabet

clock 22 February 2024 • 2 min read
Gemma: Google unveils open AI models

Big Data and Analytics

Includes safety tools as standard

clock 22 February 2024 • 3 min read
UK AI chipmaker seeks buyer, report

Chips and Components

Graphcore has faced rising losses and falling revenues

clock 21 February 2024 • 2 min read
Most read
01

Intel splits in two, signs deal with Microsoft

22 February 2024 • 7 min read
03

Cambridge University hit by DDoS attack

20 February 2024 • 1 min read
04

Gemma: Google unveils open AI models

22 February 2024 • 3 min read

Sign up to our newsletter

The best news, stories, features and photos from the day in one perfectly formed email.

More on Developer

 Github releases results of first empirical study of DevEx

Github releases results of first empirical study of DevEx

Results show that improving developer experience matters more than you might think

Penny Horwood
clock 24 January 2024 • 4 min read
Researchers unveil AI-driven software verification breakthrough

Researchers unveil AI-driven software verification breakthrough

Most effective and efficient means yet devised for verifying software correctness, they claim

clock 08 January 2024 • 2 min read
Life after Oracle: Redefining Java in the enterprise in 2024

Life after Oracle: Redefining Java in the enterprise in 2024

Ignore the cool kids. 2024 will see Java redefine its value to enterprise

Simon Ritter
clock 08 December 2023 • 5 min read