Soft Verification for Actor Contract Systems

Bram Vandenbogaerde. Soft Verification for Actor Contract Systems. In Maria Christakis, Michael Pradel, editors, Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2024, Vienna, Austria, September 16-20, 2024. pages 1891-1895, ACM, 2024. [doi]

Abstract

Abstract is missing.