- -

Modelado y verificación del protocolo de exclusión mutua con tiempo real Fischer usando Maude

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Modelado y verificación del protocolo de exclusión mutua con tiempo real Fischer usando Maude

Show full item record

García Valero, V. (2021). Modelado y verificación del protocolo de exclusión mutua con tiempo real Fischer usando Maude. Universitat Politècnica de València. http://hdl.handle.net/10251/172550

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/172550

Files in this item

Item Metadata

Title: Modelado y verificación del protocolo de exclusión mutua con tiempo real Fischer usando Maude
Author: García Valero, Víctor
Director(s): Escobar Román, Santiago
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica
Read date / Event date:
2021-07-20
Issued date:
Abstract:
[ES] En el siguiente trabajo modelamos el protocolo de exclusión mutua con tiempo real Fischer como un módulo de sistema mediante el lenguaje de especificación y verificación Maude. Hacemos uso del alcance de la generación ...[+]


[EN] In the following work we model Fischer¿s real-time mutual exclusion protocol as a system module using the Maude specification and verification language. We make use of the scope of the generation of states and Maude¿s ...[+]
Subjects: Maude , Fischer , CafeOBJ , Verificación , Model checking , Verification
Copyrigths: Reconocimiento - No comercial (by-nc)
Publisher:
Universitat Politècnica de València
degree: Grado en Ingeniería Informática-Grau en Enginyeria Informàtica
Type: Proyecto/Trabajo fin de carrera/grado

This item appears in the following Collection(s)

Show full item record