搜索筛选:
搜索耗时2.9946秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
发布年度:
[学位论文] 作者：彭佳煜,
来源：西安电子科技大学 年份：2023
由于计算机系统在各个领域的广泛使用,软硬件系统的可靠性和正确性对人类生产和生活至关重要。历经数十年的发展,形式化验证已经成为保证软硬件系统可靠性的关键方法。在诸多形式化验证方法中,基于时序逻辑的验证方法得到了普遍的运用。时序逻辑程序设计语言MSV......
相关搜索：
