RiuNet repositorio UPV
:
Listar por palabra clave

Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por palabra clave "Unificación ecuacional"

Mostrando ítems 1-2 de 2

Extensiones a la comprobación de satisfacibilidad de restricciones

Viciano Negre, Pablo (Universitat Politècnica de València, 2012-11-29)

[ES] En esta tesina de máster se estudia la satisfacibilidad de fórmulas en la aritmética Presburger para el lenguaje de programación de alto rendimiento Maude y cómo se pueden extender estos algoritmos a modelos que ...
Modeling and Analysis of Advanced Cryptographic Primitives and Security Protocols in Maude-NPA

Aparicio Sánchez, Damián (Universitat Politècnica de València, 2022-12-23)

[ES] La herramienta criptográfica Maude-NPA es un verificador de modelos especializado para protocolos de seguridad criptográficos que tienen en cuenta las propiedades algebraicas de un sistema criptográfico. En la literatura, ...

Mostrando ítems 1-2 de 2