参数抽象相关论文
带参并发系统实际包含～族并发系统实例，其中以一个(或多个)参数表示每个系统实例的规模，比如实例系统中并发执行的进程个数或数据域的......
带参并发系统广泛存在于各类计算机系统的核心模块中，验证带参系统的正确性是形式验证领域中的一个热点问题。验证带参系统的难点在......
