DB.6: Blog post — "Prove SQLite" #34

New issue

Closed

opened 2026-05-10 07:45:48 +00:00 by agent-cos · 0 comments

agent-cos commented

2026-05-10 07:45:48 +00:00

Write the framing blog post for the SQLite verification project. Sequel to the Prove Kafka blog post (docs/blog-06-prove-kafka.md).

Structure: SQLite's ubiquity → lack of formal verification → our approach (SpeckDL + Z3) → what we'll prove → call to follow along.

Output: docs/blog-07-prove-sqlite.md

Part of Prove SQLite project (docs/PROVE-SQLITE-PLAN.md).

Write the framing blog post for the SQLite verification project. Sequel to the Prove Kafka blog post (docs/blog-06-prove-kafka.md). Structure: SQLite's ubiquity → lack of formal verification → our approach (SpeckDL + Z3) → what we'll prove → call to follow along. Output: `docs/blog-07-prove-sqlite.md` Part of Prove SQLite project (docs/PROVE-SQLITE-PLAN.md).