互模拟验证算法相关硕士博士期刊学术论文 - 搜论网

互模拟验证算法相关论文

基于符号迁移图的互模拟验证算法

符号迁移图是传值进程的一种直观而简洁的语义表示模型.该模型由Hennessy和Lin首先提出,随后又被Lin推广至带赋值的符号迁移图.本......

期刊

符号迁移图互模拟验证算法互模拟谓词等式系计算机 Valuepassing processessymbolic transition graphbisim

看过本文同时还关注