Automating Induction for Solving Horn Clauses - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hiroshi Unno, Sho Torii, Hiroki Sakamoto. Automating Induction for Solving Horn Clauses. In Rupak Majumdar, Viktor Kuncak, editors, Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II. Volume 10427 of Lecture Notes in Computer Science, pages 571-591, Springer, 2017. [doi]

This author has not been identified. Look up 'Hiroshi Unno' in GoogleThis author has not been identified. Look up 'Sho Torii' in GoogleThis author has not been identified. Look up 'Hiroki Sakamoto' in Google

runs on WebDSL