Enviar por SMS: Automating the software verification test process for SIL logic solvers for subsea oil & gas applications