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.

Efficient Symbolic Execution of Value-Based Data Structures for Critical Systems

Jason Belt, Robby, Patrice Chalin, John Hatcliff, Xianghua Deng. Efficient Symbolic Execution of Value-Based Data Structures for Critical Systems. In Alwyn Goodloe, Suzette Person, editors, NASA Formal Methods - 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. Volume 7226 of Lecture Notes in Computer Science, pages 295-309, Springer, 2012. [doi]

Authors

Jason Belt

This author has not been identified. Look up 'Jason Belt' in Google

Robby

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

Patrice Chalin

This author has not been identified. Look up 'Patrice Chalin' in Google

John Hatcliff

This author has not been identified. It may be one of the following persons: Look up 'John Hatcliff' in Google

Xianghua Deng

This author has not been identified. Look up 'Xianghua Deng' in Google
runs on