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.

Verifying systems rules using rule-directed symbolic execution

Heming Cui, Gang Hu, Jingyue Wu, Junfeng Yang. Verifying systems rules using rule-directed symbolic execution. In Vivek Sarkar, Rastislav Bodík, editors, Architectural Support for Programming Languages and Operating Systems, ASPLOS '13, Houston, TX, USA - March 16 - 20, 2013. pages 329-342, ACM, 2013. [doi]

Authors

Heming Cui

This author has not been identified. Look up 'Heming Cui' in Google

Gang Hu

This author has not been identified. Look up 'Gang Hu' in Google

Jingyue Wu

This author has not been identified. Look up 'Jingyue Wu' in Google

Junfeng Yang

This author has not been identified. Look up 'Junfeng Yang' in Google
runs on