Rust를 위한 모델 검사기인 Kani가 발표되었다. 이 연구는 arXiv에 공개되었으며, 관련 댓글이 한 곳에 존재한다.