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.

Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants

Daniel Neider, Shambwaditya Saha, Pranav Garg 0001, P. Madhusudan. Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants. In Bor-Yuh Evan Chang, editor, Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings. Volume 11822 of Lecture Notes in Computer Science, pages 323-346, Springer, 2019. [doi]

Authors

Daniel Neider

This author has not been identified. Look up 'Daniel Neider' in Google

Shambwaditya Saha

This author has not been identified. Look up 'Shambwaditya Saha' in Google

Pranav Garg 0001

This author has not been identified. Look up 'Pranav Garg 0001' in Google

P. Madhusudan

This author has not been identified. Look up 'P. Madhusudan' in Google
runs on