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.

A New Refinement Strategy for CEGAR-Based Industrial Model Checking

Martin Leucker, Grigory Markin, Martin R. Neuhäußer. A New Refinement Strategy for CEGAR-Based Industrial Model Checking. In Nir Piterman, editor, Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings. Volume 9434 of Lecture Notes in Computer Science, pages 155-170, Springer, 2015. [doi]

Authors

Martin Leucker

This author has not been identified. Look up 'Martin Leucker' in Google

Grigory Markin

This author has not been identified. Look up 'Grigory Markin' in Google

Martin R. Neuhäußer

This author has not been identified. Look up 'Martin R. Neuhäußer' in Google
runs on