Software solution based on Artificial Intelligence algorithms for the validation of critical embedded software.