字号
本期编译精选。
模型检查帮助自动核实硬件和软件系统是否满足了指定的要求. 它已经成为一种重要的正式核查技术,但仍然存在两个主要挑战:限制可核查的系统规模的状态-空间爆炸和较长的核查时间。
（编译自 TechXplore；原文
来源：TechXplore（原文）
本文系本站对该英文资讯的编译与转述，非全文翻译；版权归原作者所有。
本文系本站对该英文资讯的编译与转述，非全文翻译；版权归原作者所有。
相关主题：科学探索
免费订阅
每天 5 分钟，看懂世界在发生什么
订阅「牛金金天天译站」，每日精选海外科技/AI/文化资讯编译送到你邮箱。非经营性、无广告、可随时退订。
评论