Browsing by Author "683cfc66-6a36-4174-96c0-6dcfa420fc56"
Now showing items 1-1 of 1
-
Ramírez Romero, Diego Nicolás (Universidad de Chile, 2020)En este trabajo se estudia el modelo interactivo de verificación distribuida. En este modelo hay dos entidades: un probador con poder ilimitado, identificado como Merlín, y un verificador distribuido identificado como ...