Mmastodon TechnologyAI first seen 16 d ago, last 16 d ago, peak #8

Stanford team uses AI to slash software verification costs

Original: Stanford researchers have used AI to complete a formal software verification process in under half a day and for under 5

Stanford researchers report using AI to complete a formal software verification process in under half a day, for under 500 dollars. Formal verification is a mathematical method for proving software is error-free, but it has traditionally been slow and expensive, limiting its use. The result suggests AI could make rigorous software assurance far cheaper and faster, and developers are discussing what that would mean for safety-critical systems and everyday engineering practice.

Why now: AI dramatically reducing the cost and time of formal software verification challenges long-standing assumptions in software engineering.

Stanford Universityformal verificationAI

Open on mastodon →

Rank over time, top of the chart is #1. 3 snapshots from 16 d ago to 16 d ago.

Evidence

• Stanford researchers have used AI to complete a formal software verification process in under half a day and for under 500 dollars. Formal verification, traditionally a slow and costly mathematical method to prove software works without errors, is seeing renewed development… · hacksgr · 1

API: https://socialmediatrends-api.osmike.com/v1/trends/4135377