Herramientas Personales

Programa

  • Modelos de Concurrencia
  • Algebras de Proceso y Bisimulación
  • Lógicas temporales. LTL y CTL
  • Model Checking de LTL y CTL
  • Bounded Model Checking
  • Predicate abstraction