no code implementations • 21 Dec 2020 • Luiz Sena, Erickson Alves, Iury Bessa, Eddie Filho, Lucas Cordeiro
We have implemented the proposed approach on top of the efficient SMT-based bounded model checker (ESBMC), and its experimental results show that it can successfully verify safety properties, in actual implementations of ANNs, and generate real adversarial cases in MLPs.
