CAV Lab
Computer Aided Verification Laboratory | 電腦輔助驗證實驗室

Letter for new students


  • Letter for new students

  • Welcome to join us!


    CAV Lab is established from Aug. 2016.

    Students who are interested in Formal Method, Safety/Security/CPU Verification and Algorithms are welcome to join us.


    Laboratory rules


    Do not play any annoying entertainment during 6 am- 10pm.


    Visitors (since September 1st 2017)


    Flag Counter Flag Counter