Consistency-preserving propagation for SMT solving of concurrent program verification.

Published in: Proc. ACM Program. Lang. (2022)

Keyphrases