Inferring Invariants with Quantifier Alternations: Taming the Search Space Explosion

Date

2022

Authors

  • Jason R. Koenig
  • Oded Padon
  • Sharon Shoham
  • Alex Aiken

Related projects

Type

Inproceedings

Booktitle

Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022