Hiroshi Watanabe's Webpage

産総研
渡邊 宏(Hiroshi Watanabe)
独立行政法人 産業技術総合研究所
計測標準研究部門 計量標準システム科
計量標準基盤研究室
〒305-8565 305-0065 茨城県つくば市東1-1-1 中央第5
TEL:029-861-3422
E-mail:hirowata_at_ni.aist.go.jp
2012.03.26
What's New

2011.7-2012.2
技能試験 (Proficiency Testing) の枠組みを活用してモデル検査技術演習(PT001)を企画・開催しました。

2011.10.01
計測標準研究部門へ戻りました。

2010.10.01 - 2011.9.30
イノベーション推進本部 国際標準推進部門 試験システム開発支援室へ出向しました。

2010.04.01
つくばの計測標準研究部門へ異動しました。

2010.03.31
独立行政法人産業技術総合研究所 システム検証研究センター 卒業。
同センターは平成16年4月より6年間の計画でスタートし、最終年度の平成22年3月末日をもって終了いたしました。

Topics

計量情報システム、 ソフトウェア(の)認証、 ソフトウェアの適合性評価技術、 ソフトウェア検証技術の技能試験

システム検証技術、 数理的手法(含む形式手法)、 プログラミング言語の意味論

その他

証明ファイル: O.Takaki, M.Takeyama, H.Watanabe, Verification of  correctness of TSR via PVS