Efficient deadlock freedom checking using local analysis and SAT checking
We build upon established techniques of deadlock analysis by formulating a new sound but incomplete framework for deadlock freedom analysis that tackles some sources of imprecision of current incomplete techniques. Our new deadlock candidate criterion is based on constraints derived from the analysi...
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Published: |
Springer, Cham
2016
|