Automatic Verification of Strongly Dynamic Software Systems

Nurit Dor, John Field, Denis Gopan, Tal Lev-Ami, Alexey Loginov, Roman Manevich, Ganesan Ramalingam, Thomas W. Reps, Noam Rinetzky, Mooly Sagiv, Reinhard Wilhelm, Eran Yahav, Greta Yorsh. Automatic Verification of Strongly Dynamic Software Systems. In Bertrand Meyer, Jim Woodcock, editors, Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions. Volume 4171 of Lecture Notes in Computer Science, pages 82-92, Springer, 2005. [doi]

@inproceedings{DorFGLLMRRRSWYY05,
  title = {Automatic Verification of Strongly Dynamic Software Systems},
  author = {Nurit Dor and John Field and Denis Gopan and Tal Lev-Ami and Alexey Loginov and Roman Manevich and Ganesan Ramalingam and Thomas W. Reps and Noam Rinetzky and Mooly Sagiv and Reinhard Wilhelm and Eran Yahav and Greta Yorsh},
  year = {2005},
  doi = {10.1007/978-3-540-69149-5_11},
  url = {http://dx.doi.org/10.1007/978-3-540-69149-5_11},
  researchr = {https://researchr.org/publication/DorFGLLMRRRSWYY05},
  cites = {0},
  citedby = {0},
  pages = {82-92},
  booktitle = {Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions},
  editor = {Bertrand Meyer and Jim Woodcock},
  volume = {4171},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-69147-1},
}