论文部分内容阅读
模型检测是并发系统验证的主要形式化方法之一,但其存在因状态空间爆炸而导致内存不够的问题,这也是大规模并发系统验证的瓶颈.很多研究人员尽管做了很多相关研究,但仍然没有很好地解决这个问题.在研究动态内存和状态管理的基础上,提出了一种新的模型检测方法,避免了因为内存不足而无法模型检测的问题.
基于动态内存和状态管理的模型检测新方法
【摘 要】
：
模型检测是并发系统验证的主要形式化方法之一,但其存在因状态空间爆炸而导致内存不够的问题,这也是大规模并发系统验证的瓶颈.很多研究人员尽管做了很多相关研究,但仍然没有
【机 构】
：
电子科技大学计算机科学与工程学院 成都610054清华大学软件学院 北京100084;暨南大学计算机科学学院 广州410074;
【出 处】
：
计算机科学
【发表日期】
：
2004年期
其他文献
执政党必须高度关注民主生活的变化和要求，积极加以引导，善于总结经验，用党内民主发展的积极成果，来引领人民民主和推动基层民主，使人民民主的扩大、基层民主的发展，能够沿着有序、健康的方向推进。 改革开放30年人民民主的推进历程，与中国共产党的党内民主有着相融互动的内在关系。这种关系在四川基层民主建设中，有着特别生动的展现。四川基层民主建设的进程，正是记载改革开放这一历史成就最生动的书本。
随着经济全球化加速,金融业迅速发展,银行利息业务竞争加剧、收益不断下降,国外银行转而大力发展非利息业务,其占比不断提高。我国银行过去由于国内竞争较少、国家对利率的管