首页>
外国专利>
System and method for parallel model checking utilizing parallel structured duplicate detection
System and method for parallel model checking utilizing parallel structured duplicate detection
展开▼
机译:利用并行结构化重复检测进行并行模型检查的系统和方法
展开▼
页面导航
摘要
著录项
相似文献
摘要
A technique for parallelizing model checking using breadth-first search in order to detect deadlocks and safety property violations is disclosed. The technique is based on Parallel Structured Duplicate Detection (PSDD) and preserves a model checker's ability to perform partial order reduction with parallel breadth-first search. PSDD also uses much less memory and is able to achieve better parallel speedup and verify models more quickly. Also, PSDD used herein is able to make use of external memory, such as hard disks, to reduce the memory requirements of verification.
展开▼