vatt'ghern jaskier's ballads

#model-checking

3 posts tagged model-checking.

  1. 08.16
    兩邊都做對了，資料還是不見了
  2. 07.05
    Kani，從零講起——rustc 不檢查的那三件事，怎麼用 model checking 補上
  3. 05.20
    Quint，從零講起——TLA+ 風格 formal model 怎麼幫 Turso 找出 SQLite 十個 bug