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.

QPR Verify: A Static Analysis Tool for Embedded Software Based on Bounded Model Checking

Marko Kleine Büning, Carsten Sinz, David Faragó. QPR Verify: A Static Analysis Tool for Embedded Software Based on Bounded Model Checking. In Maria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel, editors, Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers. Volume 12549 of Lecture Notes in Computer Science, pages 21-32, Springer, 2020. [doi]

Authors

Marko Kleine Büning

This author has not been identified. Look up 'Marko Kleine Büning' in Google

Carsten Sinz

This author has not been identified. Look up 'Carsten Sinz' in Google

David Faragó

This author has not been identified. Look up 'David Faragó' in Google
runs on