EUFicient Reachability in Software with Arrays.

Denis Bueno, Arlen Cox, Karem A. Sakallah

Browse the full FMCAD paper archive.