Tecnicas para el analisis automatico de software descrito en lenguajes de programacion
Tesis doctoral de David Sanan Baena La verificación de modelos o model checking es un método formal que explora de […]
Tesis doctoral sobre Logica modal
Accede a todas las tesis doctorales sobre Logica modal mas relevantes.
Evolucion del software: una formalizacion basada en logica temporal de predicados y redes de petri coloreadas
Tesis doctoral de Rodriguez Fortiz M. Jose Se utilizan dos formalismos: las redes de petri coloreadas (rdpc) y la lógica
Entre la logica y el derecho:paradojas y conflictos normativos
Tesis doctoral de Jose Ausin Diez Este es un trabajo de lógica deóntica jurídica, es decir, un análisis de las
Desde especificaciones lógicas de intervalos a autómatas de propiedad: una construcción tableau para su aplicación en comprobación de modelos on-the-fly
Tesis doctoral de Hornos Barranco Miguel Juan Este trabajo constituye el punto de partida para la verificación automática de sistemas
Essential properties, existence and knowability.
Tesis doctoral de Sonia Roca Royes En este trabajo se discuten diferentes problemas en relación a la metafísica y a
Strict-weak languages. an analysis of strict implicatión
Tesis doctoral de Félix Bou Moliner Esta tesis docotral introduce los aquí llamados lenguajes estricto-débiles, y los analiza desde diversos
Aproximación metodológica formal para el diseño y desarrollo de sistemas interactivos basados en el estilo de manipulación directa
Tesis doctoral de Rodríguez Almendros M. Luisa Los sistemas interactivos están cada vez más orientados hacia la manipulación de la
Logica temporal de intervalos formalización de diagramas de estados
Tesis doctoral de Carlos Rossi Jimenez En este trabajo se definen dos lógicas temporales proposicionales sobre tiempo discreto, llamadas lnint
Modal logic (of predicates) and (partial and heterogeneous) non-classical logic.
Tesis doctoral de Huertas Sanchez M. Antonia En esta tesis se estudia la logica modal de predicados. cuando esta es
Similaridad intermundana y logica multicondicional.
Tesis doctoral de Javier Vilanova Arias Analisis logico (formal e informal) de los enunciados condicionales de los lenguajes naturales. Para