Incremental Algorithms for Inter-procedural Analysis of Safety Properties.

Christopher L. Conway, Kedar S. Namjoshi, Dennis Dams, Stephen A. Edwards

Browse the full CAV paper archive.