Xavier Denis

Gillian-Rustは、安全でないRustコードを効果的に検証する新しい方法を提供してるよ。

新しいアプローチが、内部可変性を使ったRustコードの検証を強化する。