带赋值符号迁移图相关论文
模型检测是近二十几年来最成功的自动验证技术之一,一直以来主要用于检测时态逻辑,人们很少注意空间逻辑的模型检测问题,而在分布......
随着计算机软硬件系统日益复杂，如何保证其正确性和可靠性成为学术界和工业界共同关注的问题。在诸多的系统分析和验证方法中，模型检......
模型检测技术是近二十年来最成功的自动验证技术之一，目前被广泛的应用于有穷状态系统(包括电路设计和通讯协议等)的分析与验证。对......
随着计算机技术的快速发展，计算机软硬件系统的规模也急速增大，系统中会出现较多的错误和设计缺陷，这给系统的可靠性验证带来较大的难......
为刻画和验证无穷值域上的传值进程, Hennessy和Lin先后提出符号迁移图(STG)和带赋值符号迁移图(STGA)作为传值进程的语义表示模型......
模型检测是近二十几年来最成功的自动验证技术之一,而模型检测工具的开发是将模型检测和实际相结合的关键.为了有效地对涉及到复杂......
