2025-03-042025-03-04https://scholars.lib.ntu.edu.tw/handle/123456789/725454形式方法軟體工程與程式驗證電子設計自動化與硬體模型檢查機密運算與韌體分析AI 與形式方法之相互應用可滿足性求解Formal MethodsSoftware Engineering and Program VerificationEDA and Hardware Model CheckingConfidential Computing and Firmware AnalysisAI for Formal & Formal for AISatisfiability Solving