Alchemist: Learning Guarded Affine Functions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Shambwaditya Saha, Pranav Garg 0001, P. Madhusudan. Alchemist: Learning Guarded Affine Functions. In Daniel Kroening, Corina S. Pasareanu, editors, Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I. Volume 9206 of Lecture Notes in Computer Science, pages 440-446, Springer, 2015. [doi]

This author has not been identified. Look up 'Shambwaditya Saha' in GoogleThis author has not been identified. Look up 'Pranav Garg 0001' in GoogleThis author has not been identified. Look up 'P. Madhusudan' in Google

runs on WebDSL