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.

Advancing Software Model Checking Beyond Linear Arithmetic Theories

Ahmed Mahdi, Karsten Scheibler, Felix Neubauer, Martin Fränzle, Bernd Becker. Advancing Software Model Checking Beyond Linear Arithmetic Theories. In Roderick Bloem, Eli Arbel, editors, Hardware and Software: Verification and Testing - 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings. Volume 10028 of Lecture Notes in Computer Science, pages 186-201, 2016. [doi]

Authors

Ahmed Mahdi

This author has not been identified. Look up 'Ahmed Mahdi' in Google

Karsten Scheibler

This author has not been identified. Look up 'Karsten Scheibler' in Google

Felix Neubauer

This author has not been identified. Look up 'Felix Neubauer' in Google

Martin Fränzle

This author has not been identified. Look up 'Martin Fränzle' in Google

Bernd Becker

This author has not been identified. Look up 'Bernd Becker' in Google
runs on