@article{dor2005automatic,
author = {Dor, Nurit and Field, John and Gopan, Denis and Lev-Ami, Tal and Loginov, Alexey and Manevich, Roman and Ramalingam, G. and Reps, Thomas and Rinetzky, Noam and Sagiv, Mooly and Wilhelm, Reinhard and Yahav, Eran and Yorsh, Greta},
title = {Automatic Verification of Strongly Dynamic Software Systems},
year = {2005},
month = {October},
abstract = {Strongly dynamic software systems are difficult to verify. By strongly dynamic, we mean that the actors in such systems change dynamically, that the resources used by such systems are dynamically allocated and deallocated, and that for both sets, no bounds are statically known. In this position paper, we describe the progress we have made in automated verification of strongly dynamic systems using abstract interpretation with three-valued logical structures. We then enumerate a number of challenges that must be tackled in order for such techniques to be widely adopted.},
publisher = {Springer Berlin Heidelberg},
url = {http://approjects.co.za/?big=en-us/research/publication/automatic-verification-strongly-dynamic-software-systems/},
journal = {Working Conference on Verified Software: Theories, Tools, and Experiments},
edition = {Working Conference on Verified Software: Theories, Tools, and Experiments},
}