Skip to main content
English
中文
Log In
Log in
Log in with ORCID
NTU Single Sign On
New user? Click here to register.
Have you forgotten your password?
Home
.National Taiwan University / 國立臺灣大學
Project / 研究計畫
元件合成軟體之形式化驗證初探
元件合成軟體之形式化驗證初探
Details
Primary Data
Project title
元件合成軟體之形式化驗證初探
Internal ID
92-2213-E-002-061-
Principal Investigator
YIH-KUEN TSAY
Start Date
August 1, 2003
End Date
July 31, 2004
Partner Organizations
National Science and Technology Council
Description
Keywords
假設∕保證
自動驗證
元件合成軟體
組合式驗證
正確性
形式化方法
模型檢驗
模組化驗證
軟體元件
規格
時間邏輯
驗證
Assumption-Guarantee
Automated Verification
Component-Based Software
Compositional Verification
Correctness
Formal Methods
Model Checking
Modular Verification
Software Components
Specification
Temporal Logic
Verification