研究室紹介 米澤 明憲 教授 私のソフトウェア研究, コンピュータソフトウェア, 21(4), 2004 (pdf) 研究室概要 (pdf) 研究室までの案内図 主なプロジェクト・研究グループ e-Society (安全なシステム記述言語および高信頼OS) 高安全なC言語，およびC++言語コンパイラの開発 (VITC) OS用型付きアセンブリ言語の設計・実装 (TALK, TOS, Kernel Mode Linux) プロトコル実装の形式的検証 (Applpi) Towards Formal Verification of Memory Properties using Separation Logic Combining Type-Based Analysis and Model Checking for Finding Counterexamples against Non-Inte
