Adimen Artifizialeko algoritmoetan oinarritutako software-soluzioa, software txertatu kritikoaren balidaziorako.