Property-Directed Inference of Universal Invariants or Proving Their Absence.

Aleksandr Karbyshev, Nikolaj S. Bjrner, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham

Browse the full CAV paper archive.