Before revision: Formal verification of neural networks is critical for their safe  adoption in real-world applications.
After revision: Formal verification of neural networks is critical for their safe and secure adoption in real-world applications.