This is the prototype of Velo, as presented in the paper: "Verifying maximum link loads in a changing world" by Tibor Schneider, Stefano Vissicchio, and Laurent Vanbever. To meet ever more stringent ...