Tag: formal-methods
All the articles with the tag "formal-methods".
-
When Formal Verification Becomes Practical
Formal methods have traditionally been expensive specialist work. If agents can help write specifications, proof harnesses, and models, the economics may change, but proof obligations and scope still need human judgement.
-
Two Security Boundaries for AI-Assisted Development
A sandbox limits what an agent can damage while it works; it cannot tell you whether the resulting code is safe to ship. AI-assisted development needs separate controls for the runtime and the artefact.