TLAツールボックス-Microsoft ResearchがLinuxソフトウェアをリリース

Microsoft Researchは、TLA（Temporal Logic of Actions）言語の仕様を作成および検証するための開発環境をリリースしました。 Linux向けにMicrosoftがリリースした数少ないソフトウェアの例の1つ。



プロジェクトページを表示