SVF-tools/ACT
Abstract Constraint Transformation
GitHub repository with 15 stars and 5 forks.
Language: Jupyter Notebook
Topics: abstract-constraint-transformation, ai-verification, model-fuzzing, model-verification, neural-network-testing, neural-network-verification, static-analysis-of-ai-models