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.

RATCOP: Relational Analysis Tool for Concurrent Programs

Suvam Mukherjee, Oded Padon, Sharon Shoham, Deepak D'Souza, Noam Rinetzky. RATCOP: Relational Analysis Tool for Concurrent Programs. In Ofer Strichman, Rachel Tzoref-Brill, editors, Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings. Volume 10629 of Lecture Notes in Computer Science, pages 229-233, Springer, 2017. [doi]

Authors

Suvam Mukherjee

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

Oded Padon

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

Sharon Shoham

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

Deepak D'Souza

This author has not been identified. Look up 'Deepak D'Souza' in Google

Noam Rinetzky

This author has not been identified. Look up 'Noam Rinetzky' in Google
runs on