Title:數值程序分析、驗證與修復

Speaker:陳立前（國防科技大學計算機學院 副教授）

Time:5月27日（周五） 10:00-12:00

Venue:線上報告，騰訊會議 321 480 877

Abstract:計算機程序中的許多性質和常見錯誤（如除零錯、數組越界、算術溢出、計算精度缺陷等），與程序中數值型變量及其上的數值運算密切相關。針對數值代碼開展自動分析，檢測數值相關錯誤，驗證相關性質，修復相關缺陷，對于提高計算機軟件（尤其是數值計算密集型安全攸關軟件）的可信性具有重要意義。本報告將圍繞程序中數值相關性質與錯誤，介紹在基于抽象解釋的數值程序分析與驗證、基于數值近似的數值程序修復等方面的進展，以及在研究過程中碰到的數學問題。