Congreso Verify 2010: 6th International Verification Workshop

PorJosé A. Alonso

VERIFY (The Verification Workshop es una serie de congresos cuyo principal objetivo es discutir los problemas que aparecen en desarrollo de las formalizaciones de sistemas durante su verificación formal. El lema del congreso es What are the verification problems? What are the deduction techniques?.

Entre los temas del congreso se encuentran:

  1. Técnicas de ATP en verificación.
  2. Casos de estudio (especificación y verificación)
  3. Razonamiento composicional y modular.
  4. Refinamiento y descomposición.
  5. Reutilización de especificaciones y demostraciones.

El VERIFY 2010 se celebra el 20 de Julio en Edimburgo. La fecha de envío de artículos finaliza el 22 de Marzo.