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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.