Verificación formal del cálculo λSF en Coq

Verificación formal del cálculo λSF en Coq

Detalles Bibliográficos
Autor principal:	Torres Ruiz, Mateo Alberto
Otras Contribuciones:	Miranda Perea, Favio Ezequiel (Asesor)
Formato:	Tesis de licenciatura
Publicado:	MX 2019
Materias:	Ciencias Físico - Matemáticas y de las Ingenierías
Acceso en línea:	https://hdl.handle.net/20.500.14330/TES01000792722 http://132.248.9.195/ptd2019/agosto/0792722/Index.html

Ejemplares similares

Verificación formal y programación certificada en COQ con Program : un ejemplo práctico
por: Carrillo Verduzco, Diego
Publicado: (2020)

Semántica natural como marco de verificación de compiladores en Coq
por: Zúñiga Chávez, Ángel Francisco
Publicado: (2021)

Una introducción categórica a TorΛn(M,N) y ExtnΛ(M,N)
por: Quiroz Pineda, José Antonio
Publicado: (2023)

PiULL session types verification using COQ
por: García López, Ciro Iván
Publicado: (2022)

Deducción natural en lógica modal : una implementación en Coq
por: Linares Arévalo, Pilar Selene
Publicado: (2015)

Verificación formal en lógica modal
por: Prieto Larios, Estefanía
Publicado: (2018)

Verificación formal de árboles rojinegros
por: Hernández Chiapa, David Felipe
Publicado: (2021)

Verificación formal del zipper relacional simétrico
por: Galicia Mendoza, Fernando Abigail
Publicado: (2018)

Diagrama de fase del modelo λΦ4 bidimensional no-conmutativo
por: Mejía Díaz, Héctor Miguel
Publicado: (2013)

El contenido computacional de la lógica clásica a través de los cálculos λC Y λμ con tipos
por: Hernández, Noé Salomón
Publicado: (2012)

Verificación formal de programas con lógicas de separación
por: Medina Martínez, Diego Roberto
Publicado: (2021)

Un compilador correcto verificado de mini-ml a la máquina SECD en Coq
por: Zúñiga Chávez, Ángel Francisco
Publicado: (2016)

Especificación, verificación y cálculo de estrategias en juegos no cooperativos usando verificación de modelos
por: Góngora Luna, Pedro Arturo
Publicado: (2014)

Verificacion Formal del Estado Social de Derecho en Mexico
por: Zarate Perez, José Humberto
Publicado: (1985)

El modelo de Nambu y su relación con la electrodinámica en la norma AμAμ̃_λ2
por: Franca Santiago, Omar Jesús
Publicado: (2012)

Interruptores de alto voltaje a gas (SF6)
por: Villers Ruiz, Julian
Publicado: (1969)

Flujo en medios porosos: Verificacion experimental de algunos metodos de calculo
por: Pena Delgado, Juan Carlos
Publicado: (1987)

Interruptores de potencia en gas (SF6)
por: Gonzalez Velasco, Raul
Publicado: (1969)

Interruptores de potencia en gas SF6
por: Hernandez Heredia, Rafael
Publicado: (1970)

El interruptor de potencia en SF6
por: Sanchez Pimentel, Leobardo, et al.
Publicado: (1984)

Análisis termodinámico, fibrilogénico, y estructural de cadenas ligeras tipo λvi implicadas en la amiloidosis al
por: Luna Martínez, Oscar Daniel
Publicado: (2017)

Programa de mantenimiento para una subestación en SF6 de una central hidroeléctrica
por: Torres Solís, Judith
Publicado: (2009)

Galeno : El IIEPI tΩn en TOIΣ NOΣHMAΣIN AITIΩN BIBΛON : traducción comentada
por: Valera Zamudio, Rodrigo
Publicado: (2017)

Interruptor de potencia en SF6, para 500 K.v.
por: Zapiain Lechuga, Juan Manuel
Publicado: (0000)

Posible participación de los herpesvirus β y λ en la hepatitis crónica pediátrica con características de autoinmunidad
por: Sol Ortega, Raúl Jonathan
Publicado: (2022)

Procedimiento general para el mantenimiento de subestaciones encapsuladas en SF₆ (GIS)
por: Hernández Romero, Joel
Publicado: (2024)

Interrupcion en SF6, : estudio tecnico-economico de una instalacion electrica
por: Ávila Castillo, Manuel
Publicado: (1969)

Estudios de sistemas de tierras para subestacines encapsuladas en SF6
por: Romero Sanchez, Angel Alfonso, et al.
Publicado: (1994)

Estudio de los fragmentos de disociacion del H2+ en SF6
por: Tejeda Buenosaires, Alfredo
Publicado: (1990)

Captura electronica simple y doble del Ion H-1- en SF6
por: Domínguez López, Ivan
Publicado: (1988)

Fragmentación de SF6 por colisiones de protones a bajas energías
por: Mayorga Villalobos, Luis Eduardo
Publicado: (2020)

El interruptor de potencia en gas exafluoruro de azufre (SF6)
por: Verdin Romero, Jesus
Publicado: (0000)

Ionizacion, captura y arrastre electronico en mezclas de SF6 y He
por: Ramírez Martínez, Fernando
Publicado: (2003)

Verificación de algoritmos concurrentes
por: Sandoval Grajeda, Israel
Publicado: (2016)

Verificación a estaciones de servicio de combustible
por: Torres Hernández, Rogelio
Publicado: (2009)

Verificación del perfil indestructible en rompeolas de enrocamiento
por: Armenta Aguilar, Carlos Alberto
Publicado: (2012)

Formacion de atomos de helio mediante la colision de He+ en SF6
por: García Flores, Sinhue
Publicado: (1992)

Pruebas de mantenimiento al hexafluoruro de azufre (sf6) en una subestación encapsulada
por: Arenas Fragoso, Erick
Publicado: (2014)

Elaboracion de listas de verificacion para auditoria ambiental de cumplimiento en una planta cervecera
por: Gutierrez Cardozo, Mateo
Publicado: (2004)

Determinación de propiedades dieléctricas de la mezcla gaseosa SF6 - CF3I
por: Mitrani, Alejandro
Publicado: (2011)