SQLite WAL Mode Transaction Specification

TLA+ specification for SQLite WAL mode transaction concurrency control. The specification itself (SqliteTx.tla) is the primary documentation — generate the PDF for a typeset version.

Quick Start

# Model check
make check

# Generate PDF
make SqliteTx.pdf