vatt'ghern jaskier's ballads

#tla-plus

2 posts tagged tla-plus.

  1. 07.04
    二十步走到損毀：TLA+ 逼出 SQLite 藏了十六年的 checkpoint 競態
  2. 05.20
    Quint，從零講起——TLA+ 風格 formal model 怎麼幫 Turso 找出 SQLite 十個 bug