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.

Synthesizing Environment Invariants for Modular Hardware Verification

Hongce Zhang, Weikun Yang, Grigory Fedyukovich, Aarti Gupta, Sharad Malik. Synthesizing Environment Invariants for Modular Hardware Verification. In Dirk Beyer 0001, Damien Zufferey, editors, Verification, Model Checking, and Abstract Interpretation - 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings. Volume 11990 of Lecture Notes in Computer Science, pages 202-225, Springer, 2020. [doi]

Authors

Hongce Zhang

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

Weikun Yang

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

Grigory Fedyukovich

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

Aarti Gupta

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

Sharad Malik

This author has not been identified. Look up 'Sharad Malik' in Google
runs on