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

Related Journals

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

Related Conferences

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)