Formal Verification on M.F.Bormanhttps://www.mfborman.nl/tags/formal-verification/Recent content in Formal Verification on M.F.BormanHugoenTue, 07 Jul 2026 00:00:00 +0000Rent the capability, own the controlhttps://www.mfborman.nl/papers/rent-the-capability-own-the-control/Tue, 07 Jul 2026 00:00:00 +0000https://www.mfborman.nl/papers/rent-the-capability-own-the-control/Verifier-gated code generation looks cheaper. In a regulated enterprise it is a control architecture that produces the evidence you already owe.