Yide Du

Verification of message-passing uninterpreted programs

2024 · Science of Computer Programming

Message-passing programs involve several processes with channel-based communications to deal with tasks concurrently. The complex computations and communications between processes make the verification of message-passing programs hard. By regarding the functions in programs as uninterpreted …