Abstract: A computerized method of performing safety and functional verification of algorithms, for control of autonomous vehicles, comprises: iteratively performing an adjustment, the adjustment comprising at least one of the following: (i) updating the value of parameter(s) indicative of noise and/or delay in simulated sensor(s), associated with a computerized simulation framework corresponding to simulated autonomous vehicle(s) and to operational environment(s), by increasing noise and/or delay; and (ii) updating the value of parameter(s) indicative of noise and/or delay in a response of the simulated autonomous vehicle(s) to command(s), by increasing the noise and/or delay. This is done until obtaining from the computerized simulation framework an increased- severity computerized simulation framework. The increased-severity computerized simulation framework meets a criterion that can be utilized for statistical safety verification and/or statistical functional performance verification of the algorithm(s).