External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Automatically Proving Thousands of Verification Conditions Using an SMT Solver: An Empirical Study

Aditi Tagore, Diego Zaccai, Bruce W. Weide. Automatically Proving Thousands of Verification Conditions Using an SMT Solver: An Empirical Study. In Alwyn Goodloe, Suzette Person, editors, NASA Formal Methods - 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. Volume 7226 of Lecture Notes in Computer Science, pages 195-209, Springer, 2012. [doi]

Authors

Aditi Tagore

This author has not been identified. Look up 'Aditi Tagore' in Google

Diego Zaccai

This author has not been identified. Look up 'Diego Zaccai' in Google

Bruce W. Weide

This author has not been identified. Look up 'Bruce W. Weide' in Google
runs on