Verifying multi-threaded software with impact
Lazy abstraction with interpolants, also known as the Impact algorithm, is en vogue as a state-of-the-art software model-checking technique for sequential programs. However, a direct extension of the Impact algorithm to concurrent programs is bound to be inefficient as it has to explore all thread i...
| প্রধান লেখক: | , , |
|---|---|
| বিন্যাস: | Conference item |
| প্রকাশিত: |
IEEE
2013
|