Oración 1: dado que existen varios estados en los que se puede encontrar el programa, el análisis debe mantener monitoreado todos estos posibles estados
Oración 2: la tarea de crear modelos abstractos que traten de contener todos los posibles escenarios se dificulta, además el tiempo de ejecución de estos análisis puede llegar a ser muy amplio, razón por la cual el tiempo también debería ser un motivo de preocupación a la hora de construir estos análisis
Conector: por lo tanto,
Relación: reasoning
Género: theses