发明名称 |
Methods and systems for reducing verification conditions for concurrent programs using mutually atomic transactions |
摘要 |
Methods and systems for generating verification conditions and verifying the correctness of a concurrent system of program threads are described. The methods and systems determine and employ mutually atomic transactions to reduce verification problem sizes and state space for concurrent systems. The embodiments provide both an adequate and an optimal set of token-passing constraints for a bounded unrolling of threads.
|
申请公布号 |
US8448145(B2) |
申请公布日期 |
2013.05.21 |
申请号 |
US20090569557 |
申请日期 |
2009.09.29 |
申请人 |
GANAI MALAY K.;KUNDU SUDIPTA;NEC LABORATORIES AMERICA, INC. |
发明人 |
GANAI MALAY K.;KUNDU SUDIPTA |
分类号 |
G06F9/44 |
主分类号 |
G06F9/44 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|