sanad-research/

Formal verification of binary neural networks via Petri net models

$ pip install sanad_tester

Install the verification toolkit. Includes BNN-to-Petri-net construction, reachability analysis, and safety checkers.

package

Paper & Formal Proofs (PDF)

Read the full research paper with theorems, algorithms, and experimental results. Required for understanding the codebase.

paper