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.

Sequoll: A framework for model checking binaries

Bernard Blackham, Gernot Heiser. Sequoll: A framework for model checking binaries. In 19th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2013, Philadelphia, PA, USA, April 9-11, 2013. pages 97-106, IEEE Computer Society, 2013. [doi]

Authors

Bernard Blackham

This author has not been identified. Look up 'Bernard Blackham' in Google

Gernot Heiser

This author has not been identified. Look up 'Gernot Heiser' in Google
runs on