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...

Volledige beschrijving

Bibliografische gegevens
Hoofdauteurs: Antonio, P, Gibson-Robinson, T, Roscoe, A
Formaat: Conference item
Gepubliceerd in: Springer, Cham 2016