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]

Authors

Nurit Dor

This author has not been identified. Look up 'Nurit Dor' in Google

John Field

Identified as John Field

Denis Gopan

This author has not been identified. Look up 'Denis Gopan' in Google

Tal Lev-Ami

This author has not been identified. Look up 'Tal Lev-Ami' in Google

Alexey Loginov

This author has not been identified. Look up 'Alexey Loginov' in Google

Roman Manevich

This author has not been identified. Look up 'Roman Manevich' in Google

G. Ramalingam

Identified as Ganesan Ramalingam

Thomas W. Reps

Identified as Thomas W. Reps

Noam Rinetzky

This author has not been identified. Look up 'Noam Rinetzky' in Google

Mooly Sagiv

This author has not been identified. Look up 'Mooly Sagiv' in Google

Reinhard Wilhelm

This author has not been identified. Look up 'Reinhard Wilhelm' in Google

Eran Yahav

This author has not been identified. Look up 'Eran Yahav' in Google

Greta Yorsh

This author has not been identified. Look up 'Greta Yorsh' in Google