SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms.

Igor Konnov, Helmut Veith, Josef Widder

Browse the full CAV paper archive.