Validation of autogenerated code is a well established field. E.g.

https://www.mathworks.com/products/transitioned/simverificat...