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.

CHIMP: A Tool for Assertion-Based Dynamic Verification of SystemC Models

Sonali Dutta, Moshe Y. Vardi, Deian Tabakov. CHIMP: A Tool for Assertion-Based Dynamic Verification of SystemC Models. In Malay K. Ganai, Alper Sen 0001, editors, Proceedings of the Second International Workshop on Design and Implementation of Formal Tools and Systems, Portland, OR, USA, October 19, 2013. Volume 1130 of CEUR Workshop Proceedings, CEUR-WS.org, 2013. [doi]

Authors

Sonali Dutta

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

Moshe Y. Vardi

This author has not been identified. Look up 'Moshe Y. Vardi' in Google

Deian Tabakov

This author has not been identified. Look up 'Deian Tabakov' in Google
runs on