搜索筛选:
搜索耗时2.1764秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
发布年度:
[学位论文] 作者：谷宇天,
来源：西安电子科技大学 年份：2021
软硬件系统的正确性和可靠性十分重要,一个微小的漏洞在某些系统中可能造成重大的财产和安全损失。除了软件测试方法外,形式化验证方法也是提高软硬件系统正确性和可靠性的重要途径。时序逻辑常被用于形式化验证,并且得到了广泛应用。MSVL（Modeling,Simulation a......
相关搜索：
