Under Construction
- Hiroshi Watanabe
- Research Center for Verification and Semantics
- National Institute of Advanced Industrial Science and Technology (AIST)
-
- Nakoji 3-11-46, Amagasaki 661-0974, Japan
- Phone: +81-6-6494-7820
- Fax: +81-6-6494-7844
Email: hirowata at ni.aist.go.jp
- 独立行政法人産業技術総合研究所
- システム検証研究センター
-
- 〒661-0974
- 尼崎市若王寺３−１１−４６
- 渡邊 宏
- 電話： ０６−６４９４−７８２０
- Fax： ０６−６４９４−７８４４
Publications
論文リスト
O.Takaki,
M.Takeyama, H.Watanabe, Verification of correctness of TSR via PVS
