|
| |
10/5/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
|
|
|
|
