https://www.rohitjha.dev/tags/formal-methods/Recent content in Formal Methods on Rohit JhaHugoen-US© Rohit Jha. Articles licensed under CC BY-SA 4.0 unless noted.Sun, 13 Sep 2026 21:38:12 +0530https://www.rohitjha.dev/blog/practical-formal-methods-in-the-age-of-ai/Sun, 13 Sep 2026 21:00:00 +0530https://www.rohitjha.dev/blog/practical-formal-methods-in-the-age-of-ai/<p>AI-assisted coding makes implementation faster, but systems remain just as difficult to reason about. A booking system can still over-allocate capacity. A retry can still apply an operation twice. Two services can still disagree about who owns a piece of state.</p> <p>In <a href="https://www.rohitjha.dev/blog/what-i-lose-when-ai-writes-the-code/">What I Lose When AI Writes the Code</a>, I wrote about how delegating implementation changes my understanding of it. As first drafts become cheaper, I want more engineering effort to go into explicit properties, independent models and tools that search for counterexamples.</p>