01 Correccion

Question 1

Capitulo correccion

Answer 1

• correccion en prog. secuenciales vs conc.
• Interleaving arbitrario
• correccion parcial y total
• Si los prog. no terminan, necesitamos propiedades de correccion
• demostracion de propiedades de correccion
  
  • safety: induccion
  • liveness: LTL
    
    • logica prop. + operadores temporales.
    • afirmaciones inmediatas y temporales
    • dualidad
    • next y until.