Orr Tamir, Marcelo Taube, Kenneth L. McMillan, Sharon Shoham, Jon Howell, Guy Gueta, Mooly Sagiv. Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols. Proceedings of the ACM on Programming Languages, 7(OOPSLA2):1878-1904, October 2023. [doi]
@article{TamirTMSHGS23,
title = {Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols},
author = {Orr Tamir and Marcelo Taube and Kenneth L. McMillan and Sharon Shoham and Jon Howell and Guy Gueta and Mooly Sagiv},
year = {2023},
month = {October},
doi = {10.1145/3622864},
url = {https://doi.org/10.1145/3622864},
researchr = {https://researchr.org/publication/TamirTMSHGS23},
cites = {0},
citedby = {0},
journal = {Proceedings of the ACM on Programming Languages},
volume = {7},
number = {OOPSLA2},
pages = {1878-1904},
}