Validation of autogenerated code is a well established field. E.g. https://www.mathworks.com/products/transitioned/simverification.html https://www.mathworks.c

Validation of autogenerated code is a well established field. E.g. https://www.mathworks.com/products/transitioned/simverification.html https://www.mathworks.com/products/transitioned/simverificat...