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.

Interpolation-based model checking for efficient incremental analysis of software

Grigory Fedyukovich, Antti E. J. Hyvarinen, Natasha Sharygina. Interpolation-based model checking for efficient incremental analysis of software. In Lukás Sekanina, Görschwin Fey, Jaan Raik, Snorre Aunet, Richard Ruzicka, editors, 16th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, DDECS 2013, Karlovy Vary, Czech Republic, April 8-10, 2013. pages 8-9, IEEE Computer Society, 2013. [doi]

Authors

Grigory Fedyukovich

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

Antti E. J. Hyvarinen

This author has not been identified. Look up 'Antti E. J. Hyvarinen' in Google

Natasha Sharygina

This author has not been identified. Look up 'Natasha Sharygina' in Google
runs on