Abstract
We study context-bounded verification of liveness properties of multi-threaded, shared-memory programs, where each thread can spawn additional threads......
小提示:本篇文献需要登录阅读全文,点击跳转登录