Tag

formal-verification.

2 writings found

Latest Archives

Proving AI Agents Work: Why Lean Language Matters Now

Leo de Moura on using Lean to verify AI agent correctness. How automated reasoning and probabilistic models converge to build trustworthy systems.

seL4 Reaches Full Arm Support: What This Means for Verified Systems

Proofcraft completes formal verification of seL4 across all Arm platforms, including confidentiality proofs on AArch64. Here's why this matters for security-critical systems.
View all rollups →