Keywords Formal Verification;Model Checking;Eletronic Design Automation;Counterexample Explanation;Bug Localization;Counterexample Minimization;
英
美
释义
形式化验证;模型检验;电子设计自动化;反例解释;错误定位;反例压缩;
把海词放在桌面上,查词最方便
触屏版
|
电脑版
©2003 - 2024 海词词典(Dict.cn)
立即下载