corpus.blog
56,966 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a08c61-06cf-720b-a593-2b06ccdb0134

Applying Formal Verification to Guard AI-Generated Code

weblog.plexobject.com · published 18 June 2026

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at weblog.plexobject.com Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
33
Words captured
6,826

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://shahbhat.medium.com/ai-writes-code-you-own-the-design-heres-how-to-keep-it-that-way-dc1466aca785
shahbhat.medium.com
https://shahbhat.medium.com/beyond-vibe-coding-using-tla-and-executable-specifications-with-claude-51df2a9460ff
shahbhat.medium.com
https://shahbhat.medium.com/property-based-and-generative-testing-for-microservices-1c6df1abb40b
shahbhat.medium.com
https://github.com/bhatti/you-got-skills
github.com
https://www.businessinsider.com/amazon-tightens-code-controls-after-outages-including-one-ai-2026-3?op=1
businessinsider.com
https://cacm.acm.org/opinion/artificial-intelligence-for-software-engineering-from-probable-to-provable/
cacm.acm.org
The Valley of Calm Read at the source ↗
blog.joemag.dev
https://github.com/bhatti/automated-reasoning
github.com
https://en.wikipedia.org/wiki/Prolog
en.wikipedia.org
https://en.wikipedia.org/wiki/Eiffel_(programming_language
en.wikipedia.org
https://github.com/bhatti/api-mock-service
github.com
https://aws.amazon.com/blogs/security/protect-sensitive-data-in-the-cloud-with-automated-reasoning-zelkova/
aws.amazon.com
https://www.amazon.science/blog/a-billion-smt-queries-a-day
amazon.science
https://www.cs.utexas.edu/~hunt/FMCAD/FMCAD18/papers/paper3.pdf
cs.utexas.edu
Using OR-Tools CP-SAT for Scheduling Problems Read at the source ↗
atalaykutlay.com
https://aws.amazon.com/blogs/security/an-unexpected-discovery-automated-reasoning-often-makes-systems-more-efficient-and-easier-to-maintain/
aws.amazon.com
https://openspec.tech/getting-started/
openspec.tech
https://github.com/github/spec-kit
github.com
https://dafny.org
dafny.org
Teaching Program Verification in Dafny at Amazon Read at the source ↗
dafny.org
https://github.com/bhatti/saas_rbac
github.com
https://github.com/leanovate/gopter
github.com
Intro to TLA+ for the LLM Era: Prompt Your Way to Victory Read at the source ↗
emptysqua.re
What's Easy Now? What's Hard Now? Read at the source ↗
brooker.co.za
https://arxiv.org/pdf/2411.15143
arxiv.org
https://cacm.acm.org/practice/systems-correctness-practices-at-amazon-web-services/
cacm.acm.org
https://www.galois.com/articles/automated-lean-proofs-for-every-type
galois.com
Formal methods and the future of programming Read at the source ↗
blog.janestreet.com
The New Calculus of AI-based Coding Read at the source ↗
blog.joemag.dev
https://shahbhat.medium.com/contract-testing-for-rest-apis-31680ed6bbf3
shahbhat.medium.com
https://shchegrikovich.substack.com/p/use-prolog-to-improve-llms-reasoning
shchegrikovich.substack.com
https://slebok.github.io/proverb/index.html
slebok.github.io
https://arxiv.org/abs/2406.08467
arxiv.org