runtime verification 中文意思是什麼
runtime verification
解釋
運行期確認- runtime : 動態
- verification : n. 1. 證實,證明,確定;核驗,驗證,核對;檢驗,校驗。2. 【法律】訴狀[答辯書]結尾的舉證說明。
-
The runtime also enforces code robustness by implementing a strict type - and - code - verification infrastructure called the common type system
運行庫還通過實現稱為通用類型系統( cts )的嚴格類型驗證和代碼驗證基礎結構來加強代碼可靠性。 -
Application verifier is a runtime verification tool for unmanaged code
應用程序驗證程序是用於非託管代碼的運行時驗證工具。
分享友人