#software-verification News & Analysis

3 articles tagged with #software-verification. AI-curated summaries with sentiment analysis and key takeaways from 50+ sources.

3 articles

AIBullisharXiv – CS AI · 4d ago7/10

🧠

FVSpec: Real-World Property-Based Tests as Lean Challenges

Researchers have created FVSpec, a benchmark dataset of 9,415 Lean 4 formal specifications derived from 2,772 real-world Python property-based tests, designed to evaluate AI models on automated formal software verification tasks. The work addresses a critical gap in AI-assisted code verification by providing open-source tools and data to advance AI's capability to formally prove software correctness.

AIBullisharXiv – CS AI · May 297/10

🧠

Inferring Code Correctness from Specification

Researchers introduce TRAILS, a novel method for validating Large Language Model-generated code by grounding LLM reasoning in concrete input-output pairs derived from specifications. The approach demonstrates significant improvements in code correctness assessment, achieving up to 39% better performance than existing baselines while maintaining greater stability across multiple evaluation runs.

AIBullisharXiv – CS AI · Mar 47/104

🧠

VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus

VeriStruct is a new AI framework that automates formal verification of complex data structure modules in the Verus programming language. The system achieved a 99.2% success rate in verifying 128 out of 129 functions across eleven Rust data structure modules, representing significant progress in AI-assisted formal verification.