Aug 28, 2026 · Artificial Intelligence

SpecArtisan: Turning Requirements into Verifiable Contracts for AI Coding Agents

SpecArtisan addresses requirement understanding deviations in AI-assisted development by converting natural language requirements into structured, verifiable design contracts with Hoare-style pre/post conditions and branch scenarios, employing mechanical verification for structural integrity and semantic checking for behavioral correctness while producing four core artifacts.

AI coding agentsAI-Assisted DevelopmentFormal Verification

0 likes · 9 min read

SpecArtisan: Turning Requirements into Verifiable Contracts for AI Coding Agents

Architecture Digest

Mar 10, 2018 · Blockchain

Why Fully Automated Formal Verification of Smart Contracts Is Impossible

The article argues that automatic formal verification of Ethereum smart contracts using deep learning and Hoare Logic is fundamentally impossible because pre‑ and post‑conditions must be manually specified, and it further critiques the overall concept of smart contracts as an overengineered and unnecessary feature of blockchain systems.

Deep LearningFormal VerificationHoare logic

0 likes · 12 min read

Why Fully Automated Formal Verification of Smart Contracts Is Impossible