Project title
形式化程式建構、分析、驗證之方法與應用-總計畫(I)
Internal ID
101-2221-E-002-092-
Principal Investigator
Start Date
August 1, 2012
End Date
July 31, 2013
Partner Organizations
形式化程式建構、分析、驗證之方法與應用-總計畫(I)
Keywords
抽象化
並行程式
正確性
形式(正規)方法
程式驗證
安全性
靜態分析
型別系統
Abstraction
Concurrency
Correctness
Formal Methods
Program Verification
Safety
Security
Static Analysis
Type Systems