2022年8月21日 (日曜日)

22:09:38 # Life Kani Rust Verifierというのがあるらしい。 virtio-blkをFormal checkingしているそうな。 へぇ、すごい。