産総研：システム検証研究センターシステム検証, バグ, プログラム, 不具合, 意味論, 形式的技法, 定理証明, モデル検査, 信頼性, 生産性, 数理的技法, 抽象化, 記述量の爆発, Formal Methods, logic, category, algebra, model, checking, Verification, Semantics経済産業省近畿経済産業局 報道発表(08.08.29) 組込ソフトウェア開発にかかる仕様統一化のための 「研究推進会議」の設置について CVSは本研究開発の実施者として研究開発に取り組みます。
