What is the difference between a test and a formal proof?
A test runs a program on selected inputs and observes the result. A formal proof checks that code meets a stated specification across every input within the proof model, while still depending on assumptions and components outside that model.
Answered in
Microsoft's PDD Kit Makes an AI Agent Prove What a Login Requirement MeansMicrosoft's PDD Kit formalizes agent-written Rust while making the trust boundary visible. Review still starts by deciding what the requirement means.
Read the full analysisOther questions this article answers
More development best practices questions
- Does PDD Kit prove an entire web application is secure?
- What should developers review in Proof-Driven Development?
- Does GitHub’s new storage architecture change Git commands?
- Why separate Git objects from references?
- Is the new architecture generally available?
- Does the new overview page change pull request merge requirements?
- What does GitHub’s pull request overview show?
- Is the overview page enabled by default?
Every answer on Crashtech is written by the editor of the article it comes from — never auto-summarised. Browse all answers or the Development Best Practices beat.