Presentación
  Temas de interés
  Comités
  Conferencias Invitadas
  Envío de trabajos
  Artículos aceptados
  Fechas importantes
  Lugar de Celebración
  Secretaría
  JISBD 2006
  Programa
      Buscar
      Todas las sesiones
      Horario
  NOVEDADES
 
10/05/2006    17:00 - 18:30
PROLE Sesión 6: Verification
ThE4
Room: Astor
Chair: Ricardo Peña
Formal Sequentialization of Distributed Systems via Model Rewriting
M. Bertran, F. Babot, A. Climent


The Maude-NRL Protocol Analyzer: A Rewriting-Based Inference System for Equational Cryptographic Reasoning
S. Escobar, C. Meadows, J. Meseguer


GVERDI-R A Tool for Repairing Faulty Web Sites
M. Alpuente, D. Ballis, M. Falaschi, D. Romero