Stewart Grant, Hendrik Cech, Ivan Beschastnikh. Inferring and asserting distributed system invariants. In Michel Chaudron, Ivica Crnkovic, Marsha Chechik, Mark Harman, editors, Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018. pages 1149-1159, ACM, 2018. [doi]
Abstract is missing.