Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols

Open Webpage

Orr Tamir, Marcelo Taube, Kenneth L. McMillan, Sharon Shoham, Jon Howell, Guy Gueta, Mooly Sagiv

Published: 2023, Last Modified: 05 Nov 2025Proc. ACM Program. Lang. 2023EveryoneRevisionsBibTeXCC BY-SA 4.0