Preguntas etiquetadas con se.software-engineering

El problema de detención indica que es imposible escribir un programa que pueda determinar si otro programa se detiene, para todos los programas de entrada posibles . Sin embargo, ciertamente puedo escribir un programa que pueda calcular el tiempo de ejecución de un programa como: for(i=0; i<N; i++) { x …

23 computability  time-complexity  formal-methods  se.software-engineering 

Estoy aprendiendo métodos formales. Escuché que se usan métodos formales (y generalmente solo se usan) para crear software de misión crítica (como el controlador del reactor nuclear, el controlador de vuelo de la aeronave, el controlador de la sonda espacial). Por eso me interesa aprenderlo: p Sin embargo, después de …

15 program-verification  formal-methods  se.software-engineering