Ubuntu-ingeniører har brukt det formelle verifikasjonsverktøyet TLA+ for å spore opp en 16 år gammel feil i SQLites WAL-mekanisme. Undersøkelsen avdekker om feilen påvirker dqlite, som brukes i Ubuntu-produkter.
Kilde: https://ubuntu.com/blog/hunting-a-16-year-old-sqlite-bug-with-tla-is-dqlite-affected