Rustのモデル検査機 kani
https://github.com/model-checking/kani/tree/main
(2024/1/26)
並行処理に対応していなかった