首页>
外国专利>
Method for the static analysis of concurrent multi-threaded software
Method for the static analysis of concurrent multi-threaded software
展开▼
机译:并发多线程软件的静态分析方法
展开▼
页面导航
摘要
著录项
相似文献
摘要
A method for the static analysis of concurrent multi-threaded software which bypasses the state explosion situation that plagues the prior art, thereby making our method scalable while—at the same time—producing no loss in precision. Our inventive method maintains patterns of lock acquisition and lock release by individual threads by constructing augmented versions of the threads. Once the augmented versions have been constructed, our inventive method verifies the concurrent program using existing tools for the verification of sequential programs—thereby greatly reducing implementation overhead. Finally, our inventive augmentation and method is carried out in an automatic manner—without requiring user intervention.
展开▼