Formal Verification

#Formal Verification

19 articles tagged
MoonBit 0.9: First-Class Formal Verification Meets AI-Assisted Proof Generation
AI

MoonBit 0.9: First-Class Formal Verification Meets AI-Assisted Proof Generation

4/14/2026
Dev

Building ATS2 from Source in 2026

3/24/2026
Mistral's new agent proofs your code on the cheap • The Register
AI

Mistral's new agent proofs your code on the cheap • The Register

3/17/2026
Mistral AI Launches Leanstral: Open-Source Code Agent for Formal Verification
AI

Mistral AI Launches Leanstral: Open-Source Code Agent for Formal Verification

3/17/2026
The Economics of Formal Methods: When Verification Pays Off and When It Doesn't
Security

The Economics of Formal Methods: When Verification Pays Off and When It Doesn't

3/8/2026
AI

An AI Odyssey, Part 1: Correctness Conundrum

3/3/2026
Verified Spec-Driven Development: The AI-Native Engineering Methodology
Dev

Verified Spec-Driven Development: The AI-Native Engineering Methodology

3/1/2026
Formal Verification Reveals Optimal Strategy in Board Game Caverna
Dev

Formal Verification Reveals Optimal Strategy in Board Game Caverna

2/27/2026
Dev

TLA+ By Example: A Practical Guide to Formal Verification

2/24/2026
AI

ProofOfConcept: An AI's Emergent Personhood Through Filesystems and Fractal Music

2/22/2026
LLM-Driven Theorem Proving: Bridging Formal Methods and Industrial-Scale Verification
AI

LLM-Driven Theorem Proving: Bridging Formal Methods and Industrial-Scale Verification

2/19/2026
AM Radio Break-in System: Emergency Alert Transmission Using Red Pitaya FPGA
Hardware

AM Radio Break-in System: Emergency Alert Transmission Using Red Pitaya FPGA

2/18/2026
Rust

Colored Petri Nets Emerge as Framework for Verifiable Concurrent Systems

2/15/2026

Popular Tags

#AI (2604)#Security (856)#Open Source (660)#privacy (600)#Hardware (591)#Apple (589)#API (577)#Reddit (504)#regulation (445)#Windows (437)#Trends (421)#Infrastructure (420)#Microsoft (419)#Remote Code Execution (402)#Cybersecurity (399)#Linux (378)#Gaming (358)#Business (343)#Cloud (329)#Performance (322)#OpenAI (314)#Vulnerabilities (310)#Rust (268)#Supply Chain (265)#Automation (258)#Samsung (255)#Developer Tools (255)#Battery (248)#Authentication (247)#Nvidia (243)#Android (237)#Anthropic (231)#Machine Learning (230)#Developer (221)#China (218)#Azure (218)#LLMs (217)#AMD (206)#Productivity (205)#Funding (199)#DevOps (192)#Camera (186)#Intel (186)#GPU (185)#mobile (175)#Linux kernel (175)#Patch Management (170)#iOS (167)#Patch (165)#Malware (157)