Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays.

Makai Mann, Ahmed Irfan, Alberto Griggio, Oded Padon, Clark W. Barrett

Browse the full TACAS paper archive.