Researchers compared different Hoare logics to determine which were most suitable for verifying concurrent programs.
研究者たちは、並行プログラムの検証に最も適したホーア論理の異なるバージョンを比較した。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
