Yehia Abd Alrahman, Shaun Azzopardi, Luca Di Stefano 0001, Nir Piterman. Attributed Point-to-Point Communication in R-CHECK. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II. Volume 15220 of Lecture Notes in Computer Science, pages 333-350, Springer, 2024. [doi]
Abstract is missing.