Sharon Shoham

Este artículo presenta técnicas eficientes para usar lógica de primer orden en la verificación de sistemas.

Un nuevo método mejora la verificación de propiedades de seguridad en instancias finitas.

Un nuevo enfoque para verificar el comportamiento del sistema usando rankings implícitos.