Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Vincent Liew, Paul Beame, Jo Devriendt, Jan Elffers, Jakob Nordström. Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning. In 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020. pages 194-204, IEEE, 2020. [doi]

This author has not been identified. Look up 'Vincent Liew' in GoogleThis author has not been identified. Look up 'Paul Beame' in GoogleThis author has not been identified. Look up 'Jo Devriendt' in GoogleThis author has not been identified. Look up 'Jan Elffers' in GoogleThis author has not been identified. Look up 'Jakob Nordström' in Google

runs on WebDSL