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

相關技術文件



開放式課程


相關期刊


  • IEEE Transactions on Computers(TC)
  • IEEE Transactions on Software Engineering (TSE)
  • ACM Transactions

相關研討會


Conference
Design Automation Conference(DAC)
International Conference On Computer Aided Design (ICCAD)
Design, Automation and Test in Europe (DATE)
Formal Methods in Computer-Aided Design (FMCAD)
Asia and South Pacific Design Automation Conference (ASP-DAC)
International Conference on Computer-Aided Verification (CAV)
IEEE/ACM International Conference on Automated Software Engineering(ASE)
Automated Technology for Verification and Analysis (ATVA)