Konnov, Igor; Lazić, Marijana; Veith, Helmut; Widder, Josef \(\text{Para}^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms. (English) Zbl 1380.68279 Form. Methods Syst. Des. 51, No. 2, 270-307 (2017). MSC: 68Q60 68M14 68M15 68W15 PDFBibTeX XMLCite \textit{I. Konnov} et al., Form. Methods Syst. Des. 51, No. 2, 270--307 (2017; Zbl 1380.68279) Full Text: DOI
Konnov, Igor; Veith, Helmut; Widder, Josef On the completeness of bounded model checking for threshold-based distributed algorithms: reachability. (English) Zbl 1355.68176 Inf. Comput. 252, 95-109 (2017). MSC: 68Q60 68M15 68W15 PDFBibTeX XMLCite \textit{I. Konnov} et al., Inf. Comput. 252, 95--109 (2017; Zbl 1355.68176) Full Text: DOI