Verification of message-passing uninterpreted programs
Article in Science of Computer Programming (May 2024)
The most recent citing publications are shown below. View all 51 publications that cite this research output on Dimensions.
Article in Science of Computer Programming (May 2024)
Article in Theory of Computing Systems (March 2024)
Preprint in arXiv (January 2024)