Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Orr Tamir' in GoogleThis author has not been identified. Look up 'Marcelo Taube' in GoogleThis author has not been identified. Look up 'Kenneth L. McMillan' in GoogleThis author has not been identified. Look up 'Sharon Shoham' in GoogleThis author has not been identified. Look up 'Jon Howell' in GoogleThis author has not been identified. Look up 'Guy Gueta' in GoogleThis author has not been identified. Look up 'Mooly Sagiv' in Google

runs on WebDSL