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 candid industrial evaluation of formal software verification using model checking

Matthew Bennion, Ibrahim Habli. A candid industrial evaluation of formal software verification using model checking. In Pankaj Jalote, Lionel C. Briand, André van der Hoek, editors, 36th International Conference on Software Engineering, ICSE '14, Companion Proceedings, Hyderabad, India, May 31 - June 07, 2014. pages 175-184, ACM, 2014. [doi]

Authors

Matthew Bennion

This author has not been identified. Look up 'Matthew Bennion' in Google

Ibrahim Habli

This author has not been identified. It may be one of the following persons: Look up 'Ibrahim Habli' in Google
runs on