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.

Towards an Open Framework for C Verification Tools Benchmarking

Alexey V. Khoroshilov, Vadim Mutilin, Eugene Novikov, Pavel Shved, Alexander Strakh. Towards an Open Framework for C Verification Tools Benchmarking. In Edmund M. Clarke, Irina Virbitskaite, Andrei Voronkov, editors, Perspectives of Systems Informatics - 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers. Volume 7162 of Lecture Notes in Computer Science, pages 179-192, Springer, 2011. [doi]

Authors

Alexey V. Khoroshilov

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

Vadim Mutilin

This author has not been identified. Look up 'Vadim Mutilin' in Google

Eugene Novikov

This author has not been identified. Look up 'Eugene Novikov' in Google

Pavel Shved

This author has not been identified. Look up 'Pavel Shved' in Google

Alexander Strakh

This author has not been identified. Look up 'Alexander Strakh' in Google
runs on