首页>
外国专利>
PARALLELIZING BOUNDED MODEL CHECKING USING TUNNELS OVER A DISTRIBUTED FRAMEWORK
PARALLELIZING BOUNDED MODEL CHECKING USING TUNNELS OVER A DISTRIBUTED FRAMEWORK
展开▼
机译:在分布式框架上使用隧道进行有边界的模型检查
展开▼
页面导航
摘要
著录项
相似文献
摘要
A system and method for bounded model checking of computer programs includes decomposing a program having at least one reachable property node for bounded model checking (BMC) into sub-problems by employing a tunneling and slicing-based (TSR) BMC reduction method. The sub-problems of the TSR method are partitioned in a distributed environment, where the distributed environment includes at least one master processing unit and at least one client unit. The sub-problems are solved by each client independently of other clients to reduce communication overhead and provide scalability.
展开▼