formal verification of programs 中文意思是什麼
formal verification of programs
解釋
程序的形式驗證- formal : adj 1 正式的。2 禮節上的,儀式上的;鄭重其事的。3 形態的,外形的;形式上的;拘泥形式的,刻板的。4...
- verification : n. 1. 證實,證明,確定;核驗,驗證,核對;檢驗,校驗。2. 【法律】訴狀[答辯書]結尾的舉證說明。
- of : OF =Old French 古法語。
- programs : 程序
-
目前還沒有formal verification of programs例句。
分享友人