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.

Symbolic software model validation

Cynthia Sturton, Rohit Sinha, Thurston H. Y. Dang, Sakshi Jain, Michael McCoyd, Wei Yang Tan, Petros Maniatis, Sanjit A. Seshia, David Wagner. Symbolic software model validation. In 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2013, Portland, OR, USA, October 18-20, 2013. pages 97-108, IEEE, 2013. [doi]

Authors

Cynthia Sturton

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

Rohit Sinha

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

Thurston H. Y. Dang

This author has not been identified. Look up 'Thurston H. Y. Dang' in Google

Sakshi Jain

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

Michael McCoyd

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

Wei Yang Tan

This author has not been identified. Look up 'Wei Yang Tan' in Google

Petros Maniatis

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

Sanjit A. Seshia

This author has not been identified. Look up 'Sanjit A. Seshia' in Google

David Wagner

This author has not been identified. Look up 'David Wagner' in Google
runs on