SMT and POR beat counter abstraction: parameterized model checking of threshold-based distributed algorithms
From MaRDI portal
Publication:1702911
DOI10.1007/978-3-319-21690-4_6zbMath1381.68172MaRDI QIDQ1702911
Publication date: 1 March 2018
Full work available at URL: https://doi.org/10.1007/978-3-319-21690-4_6
68Q60: Specification and verification (program logics, model checking, etc.)
68W15: Distributed algorithms