Hunting a 16-year-old SQLite WAL bug with TLA+

2 comments

• hackingonempty 1 hour ago
  TLA+ = formal language for modeling software above the code level and hardware above the circuit level by Leslie Lamport (of vector clock and Paxos fame, among other things.)

  https://lamport.azurewebsites.net/tla/tla.html
• peterparker204 3 days ago
  [flagged]