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).
The main advantage of the MMS method is that it tests the code capabilities in full generality
and therefore results in a high degree of confidence that all coding mistakes which prevent
the equations being solved correctly have been identified.
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