%0 Journal Article %1 journals/corr/abs-2111-13110 %A Song, Xidan %A Manino, Edoardo %A Sena, Luiz H. %A da S. Alves, Erickson H. %A de Lima Filho, Eddie Batista %A Bessa, Iury %A Luján, Mikel %A Cordeiro, Lucas C. %D 2021 %J CoRR %K dblp %T QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking. %U http://dblp.uni-trier.de/db/journals/corr/corr2111.html#abs-2111-13110 %V abs/2111.13110

@article{journals/corr/abs-2111-13110, added-at = {2023-01-19T00:00:00.000+0100}, author = {Song, Xidan and Manino, Edoardo and Sena, Luiz H. and da S. Alves, Erickson H. and de Lima Filho, Eddie Batista and Bessa, Iury and Luján, Mikel and Cordeiro, Lucas C.}, biburl = {https://www.bibsonomy.org/bibtex/2a02335992072795a112fe9f205ddec39/dblp}, ee = {https://arxiv.org/abs/2111.13110}, interhash = {6eaef48c1448d2e5a0f5c1ce43ca9574}, intrahash = {a02335992072795a112fe9f205ddec39}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-09T00:12:56.000+0200}, title = {QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2111.html#abs-2111-13110}, volume = {abs/2111.13110}, year = 2021 }