@article{qnnverifieratoolforverifyingneural,
  title = {QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking},
  author = {Xidan Song and Edoardo Manino and Luiz Sena and Erickson Alves and Eddie de Lima Filho and Iury Bessa and Mikel Lujan and Lucas Cordeiro},
  year = {2021},
  eprint = {2111.13110},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2111.13110v1},
}