SAVer

SAVer (SVM Abstract Verifier) is an abstract interpretation based tool for proving properties of Support Vector Machines. It can handle all sorts of reachability properties.

CAISAR uses SAVer to compute properties on Support Vector Machine components.