41554 blogs · [ { "id": "01a08788-e61f-70f1-a363-2d36b4b4d5d6", "title": "The Case Against Formal Verification, 50 Years Later", "url": "https://ivan-gavran.github.io/0-social-processes-paper", "published_at": "2026-08-15T00:00:00+00:00" }, { "id": "01a08788-e61f-70f1-a363-2d36b53eb43e", "title": "Blockers and Unblockers: two kinds of AI coding assistants", "url": "https://ivan-gavran.github.io/0-blockers-and-unblockers", "published_at": "2025-08-12T00:00:00+00:00" }, { "id": "01a08788-e61f-70f1-a363-2d36b5fdc0a5", "title": "Synthesizing Formal Models with Tamed LLMs", "url": "https://ivan-gavran.github.io/0-synthesizing-quint-models", "published_at": "2025-04-26T00:00:00+00:00" }, { "id": "01a08788-e61f-70f1-a363-2d36b6f5d8f8", "title": "AI drivers cannot just pass the road test; AI coders cannot just write a couple of tests", "url": "https://ivan-gavran.github.io/0-robots-road-test", "published_at": "2025-03-09T00:00:00+00:00" }, { "id": "01a08788-e61f-70f1-a363-2d36b74d48cb", "title": "Actor Model in CosmWasm", "url": "https://ivan-gavran.github.io/0-actor-model-cw", "published_at": "2023-11-11T00:00:00+00:00" }, { "id": "01a08788-e61f-70f1-a363-2d36b772705a", "title": "Robotic Systems, Powered by Formal Methods", "url": "https://ivan-gavran.github.io/0-robotic-systems-fm", "published_at": "2023-08-25T00:00:00+00:00" } ] posts Claim your blog

Blog · corpus.blog/blogs/ivan-gavran.github.io/posts