mvsqlite icon indicating copy to clipboard operation
mvsqlite copied to clipboard
verified publisher icon losfair

Specify and verify the system with TLA+

Open losfair opened this issue 3 years ago • 0 comments

mvSQLite has stacked a lot of logic on top of FoundationDB. The design of these logic should be verified for correctness.

Some specific subsystems that would benefit from verification:

  • The commit path
  • Garbage collection

losfair avatar Sep 10 '22 08:09 losfair