Sharon Shoham

Este artigo apresenta técnicas eficientes para usar lógica de primeira ordem na verificação de sistemas.

Um novo método melhora a verificação de propriedades de segurança em instâncias finitas.

Uma nova abordagem pra verificar o comportamento do sistema usando rankings implícitos.