Not sure that DAE Tools can perform the job?
A new section Code Verification Tests has been added.
The section contains problems that use formal code verification methods such as the
Method of Exact Solutions (MES) and the Method of Manufactured Solutions (MMS).
A new section Sensitivity Analysis Examples
has been added to the documentation.
The local (derivative-based) and the global Sensitivity Analysis methods such as Morris Elementary Effect,
and FAST/Sobol variance-based methods are available via the Python