Formal verification of collaterals for which the adapter is defined within the dss-deploy repo. - View it on GitHub