Escolar Documentos
Profissional Documentos
Cultura Documentos
Acerca de la verificaci
on de modelos
Luis Sierra
Instituto de Computaci
on
Verificaci
on de modelos
2012
1/8
Verificaci
on de modelos
2012
2/8
Propiedades a verificar
cualitativas
cuantitativas
El resultado es correcto?
Hay deadlock? (cuando el sistema esta bloqueado
porque dos partes del mismo se esperan entre ellas)
Habra deadlock antes de una hora?
El sistema responde a los ocho minutos?
El auto frena en veinte metros?
Verificaci
on de modelos
2012
3/8
Verificaci
on de modelos
2012
4/8
Verificacion de modelos
Verificaci
on de modelos
2012
5/8
Fases
Modelado
Ejecucion
Analisis
Verificaci
on de modelos
2012
6/8
Verificaci
on de modelos
2012
7/8
Verificaci
on de modelos
2012
8/8
Verificaci
on de modelos
2012
9/8