Framework For Formal Automated Analysis Of Simulation Experiments