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.

Formal Verification for High-Assurance Behavioral Synthesis

Sandip Ray, Kecheng Hao, Yan Chen, Fei Xie, Jin Yang. Formal Verification for High-Assurance Behavioral Synthesis. In Zhiming Liu, Anders P. Ravn, editors, Automated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings. Volume 5799 of Lecture Notes in Computer Science, pages 337-351, Springer, 2009. [doi]

Authors

Sandip Ray

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

Kecheng Hao

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

Yan Chen

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

Fei Xie

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

Jin Yang

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