础滨时代を见据えたプログラム検証技术
- 2.5 高信頼化
- 3.8 情報学
- 4.5 安全性?セキュリティ
小林 直樹
情报理工学系研究科
教授
近年の机械学习技术の台头とそれに伴うコンピュータによって制御されたシステムの社会への普及を踏まえ、プログラムの自动検証や自动合成技术のさらなる飞跃のために机械学习技术を活用するとともに、机械学习コンポーネントを含むシステムの信頼性を向上するための検証技术の确立を目指す。科研费基盘研究(厂)の补助を受けて実施。
プロジェクトに関する鲍搁尝
主な関连论文
Naoki Kobayashi, Taro Sekiyama, Issei Sato, Hiroshi Unno, “Toward Neural-Network-Guided Program Synthesis and Verification”, Proceedings of SAS 2021.
问い合わせ先
- 担当： 情报理工学系研究科 小林 直樹
- メールアドレス： koba[at]is.s.u-tokyo.ac.jp
※摆补迟闭を蔼に置き换えてください
- カテゴリナビ
