boundlab.diff

Toolkits for differential verification.

Examples

>>> from boundlab.diff.zono3 import interpret
>>> callable(interpret)
True

Modules

zono3	Triple-Zonotope-Based Abstract Interpretation for Differential Verification
op	Operators for differential verification.
expr
net	Build a paired ONNX model for differential interpretation.