Strengthening Invariants by Symbolic Consistency Testing

Husam Abu-Haimed, Sergey Berezin, David L. Dill. Strengthening Invariants by Symbolic Consistency Testing. In Warren A. Hunt Jr., Fabio Somenzi, editors, Computer Aided Verification, 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings. Volume 2725 of Lecture Notes in Computer Science, pages 407-419, Springer, 2003. [doi]

Authors

Husam Abu-Haimed

This author has not been identified. Look up 'Husam Abu-Haimed' in Google

Sergey Berezin

This author has not been identified. Look up 'Sergey Berezin' in Google

David L. Dill

This author has not been identified. Look up 'David L. Dill' in Google