(免注册，免报名费，欢迎参加)
2011 Hardware Verification Workshop at NTU
时间: 10/14 (五) 14:00 ~ 17:15
地点: 博理馆201室
议程:
14:00 ~ 15:00
Statistical Model Checking for Cyber-Physical Systems,
Prof. Edmund M. Clarke (Carnegie Mellon University, USA)
^^^^^^^^^^^^^^^^^^^^^^^
2007 年 Turing Award 得主
15:00 ~ 15:30
On Error Tolerance and Engineering Change with Partially Programmable Circuits
Prof. Masahiro Fujita (Tokyo University, Japan)
^^^^^^^^^^^^^^^^^^^^^
全日本 verification 大老
15:30 ~ 15:45 Coffee Break
15:45 ~ 16:45
Static and Dynamic Verification for SystemC
Prof. Daniel Kroening (Oxford University, UK)
^^^^^^^^^^^^^^^^^^^^^
CBMC 作者现身说法
16:45 ~ 17:15
Formal Verification for SystemC Designs
Prof. Chung-Yang (Ric) Huang (National Taiwan University, Taiwan)
(低调低调就好)