Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning

Liew, Vincent; Beame, Paul; Devriendt, Jo; Elffers, Jan; Nordström, Jakob

doi:10.34727/2020/isbn.978-3-85448-042-6_27

Title:	Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning
Authors:	Liew, Vincent Beame, Paul Devriendt, Jo Elffers, Jan Nordström, Jakob
Editors:	Ivrii, Alexander Strichman, Ofer
Keywords:	computer-aided system design
Book Title:	Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020
Series:	Conference Series: Formal Methods in Computer-Aided Design
URI:	http://hdl.handle.net/20.500.12708/15523 http://dx.doi.org/10.34727/2020/isbn.978-3-85448-042-6_27
DOI:	10.34727/2020/isbn.978-3-85448-042-6_27
License:	CC BY 4.0
Publication Type:	Inproceedings
Appears in Collections:	Open Access Series Conference Paper