符号验证相关硕士博士期刊学术论文 - 搜论网

符号验证相关论文

参数化系统安全性的启发式符号验证

参数化系统（paramterized system）是指包含特定有限状态进程多个实例的并发系统，其中的参数是指系统内进程实例的数目，即系统的规模反......

期刊

参数化系统安全性向上封闭集合启发式搜索符号验证 parameterized system safety property upward-closed

看过本文同时还关注