validation script 中文意思是什麼
validation script
解釋
驗證腳本- validation : （有效性）驗證
- script : n 1 手寫的文件 （opp print）; 稿本；手跡；筆跡。2 【印刷】書寫體（鉛字）；【法律】原本，正本 （op...
-
Presenting optimization algorithms for extended stga extending the syntax of the script language to definite the verification problem, and implementing the compilation and stga generation module for this language ; incorporating the module with the core verification algorithm ; demonstrating the validation and analyzing the performance of the tool with some real - world examples
?擴充檢測問題的定義語言?腳本語言的格式，使用sml語言實現了腳本語言的編譯和擴展stga圖生成模塊，並將該模塊和檢測演算法核心連接，實現了整個工具。論文還結合應用實例證明了擴展工作的有效性並分析了工具的性能。
分享友人