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.

Ivy: A Multi-modal Verification Tool for Distributed Algorithms

Kenneth L. McMillan, Oded Padon. Ivy: A Multi-modal Verification Tool for Distributed Algorithms. In Shuvendu K. Lahiri, Chao Wang 0001, editors, Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II. Volume 12225 of Lecture Notes in Computer Science, pages 190-202, Springer, 2020. [doi]

Authors

Kenneth L. McMillan

This author has not been identified. Look up 'Kenneth L. McMillan' in Google

Oded Padon

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