# formal

Lab: grenzen van formele verificatie

Explore the limits of formal verification for neural network behavior and identify gaps exploitable by adversaries.