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

Research topics

  • Formal methods, including model checking, theorem proving and etc.
  • Functional verification and automatic safety/security analysis of safety/security - critical systems.
  • SoC verification.
  • Hardware-based verification platform development.
  • AI-aided verification.

Research Projects

Current Projects

  • Project Name－ 具有高延展性、永續性，可進行推論及學習之多模態人工智慧融合引擎(2/2)
          Duration－2025/5 ~ 2026/3
          Sponsor－ National Science and Technology Council
  • Project Name－ 以正規方法分析量化前後之圖像增強的神經網路品質差異
          Duration－2024/8 ~ 2025/11
          Sponsor－ National Science and Technology Council

    • Previous Projects

  • Project Name－ 針對安全攸關之物聯網系統建立高擴展性的正規驗證與故障及因果分析工具集
          Duration－2017/3 ~ 2018/2
          Sponsor－ Ministry of Science and Technology
  • Project Name - 針對邊緣計算的分散式系統之異常偵測與正規資訊安全驗證(I)
          Duration－2018/8 ~ 2019/7
          Sponsor－ Ministry of Science and Technology
  • Project Name - 針對邊緣計算的分散式系統之異常偵測與正規資訊安全驗證(II)
          Duration－2019/8 ~ 2020/7
          Sponsor－ Ministry of Science and Technology
  • Project Name - 神經網路硬體設計的安全分析與驗證
          Duration－2021/8 ~ 2022/7
           Sponsor－ National Science and Technology Council
  • Project Name - 量子電路的驗證方法
          Duration－2023/8 ~ 2024/7
           Sponsor－ National Science and Technology Council
  • Project Name－ 具有高延展性、永續性，可進行推論及學習之多模態人工智慧融合引擎(1/2)
          Duration－2024/5 ~ 2025/7
          Sponsor－ National Science and Technology Council