HOME>組織の紹介>ツール開発

ツール開発

Agda
CVSでは、数理的技法に基づく種々の検証技術の普及と発展を目的とし、統合検証環境の研究開発を行っています。

仕様処理システム
これまでの上流工程の成果物である仕様書の問題点は、仕様の曖昧さや矛盾に起因すると考えられる。その理由としては、仕様書を自然言語で記述するため、曖昧さや矛盾を含んでしまうことにある。…

▲ページ先頭へ