Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract)


BibTeX

@inproceedings{beavyzcbct-pxtp19,
author = {Burak Ekici and Arjun Viswanathan and Yoni Zohar and Clark W. Barrett and Cesare Tinelli},
title = {Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract)},
booktitle = {Proceedings Sixth Workshop on Proof eXchange for Theorem Proving, PxTP 2019, Natal, Brazil, August 26, 2019},
pages = {18--26},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.301.4},
doi = {10.4204/EPTCS.301.4},
editor = {Giselle Reis and Haniel Barbosa},
series = {{EPTCS}},
volume = {301},
}


Nach oben scrollen