UHU - Gonzalo A. Aranda-Corral » Verificación http://www.uhu.es/gonzalo.aranda Cuaderno de docencia y otras cosas... Thu, 23 Apr 2026 10:52:49 +0000 es-ES hourly 1 http://wordpress.org/?v=4.2 Algunos detalles http://www.uhu.es/gonzalo.aranda/2023/08/algunos-detalles/ http://www.uhu.es/gonzalo.aranda/2023/08/algunos-detalles/#comments Sat, 05 Aug 2023 15:11:29 +0000 http://www.uhu.es/gonzalo.aranda/?p=990 Hola de nuevo!

No estoy siendo muy constante… pero mucho más de lo que era antes, así que, voy a considerarlo un éxito (el que no se consuela es porque no quiere).

Hoy escribo para contar algo muuuuy breve, pero creo que, a la par, importante.

Últimos hitos conseguidos:

  • Acabo de instalar, recompilando desde cero, Prover9 y Mace4 en mi MacBook Pro 2020- MacOs Ventura 13.4.1 – 22F82.
    Creo que va bastante bien, y me va a servir por si quiero hacer más cosas con APLI2 y para empezar a hacer cosas con ABC.
  • A principios de semana instalé una librería de Python para manejar Prolog, de manera bastante ágil desde Python.
    La librería se llama PySwip y la instalación no ha estado libre de problemas. De hecho, en el Mac parece ser que trae un bug de fábrica… y no se debe de instalar con el método habitual de pip. Si lo has hecho y no te va, desinstálalos y prueba a hacer esto:

    python3 -mpip install git+https://github.com/yuce/pyswip@master#egg=pyswip --user

    Además de meter 2 lineas en el ~/.zshrc

    export PATH=$PATH:/Applications/SWI-Prolog.app/Contents/MacOS
export DYLD_FALLBACK_LIBRARY_PATH=/Applications/SWI-Prolog.app/Contents/Frameworks
    

    

    

    Bueno… y por último, me han ofrecido pertenecer oficialmente al proyecto ABC de la Universidad de Edinburgh… TODO UN ORGULLO (no hay que explicar que acepté…no?)
    • 



Saludos.


Gonzalo

]]>
			http://www.uhu.es/gonzalo.aranda/2023/08/algunos-detalles/feed/
		0
		
		
		La realidad de los métodos formales… ¿nueva era?
		http://www.uhu.es/gonzalo.aranda/2010/06/la-realidad-de-los-metodos-formales-%c2%bfnueva-era/
		http://www.uhu.es/gonzalo.aranda/2010/06/la-realidad-de-los-metodos-formales-%c2%bfnueva-era/#comments
		Tue, 22 Jun 2010 20:08:49 +0000
		
				
		
		

		http://www.uhu.es/gonzalo.aranda/?p=99
		
				Ha aparecido un post en un blog sobre el tema de los métodos formales, que hemos introducido en clase, y que plantea los pros y contras de implementarlos en la empresa.

A la vez de plantear los problemas, constata que Microsoft cada vez los está usando más y conviertiendo su código en más estable (en algunos casos no era dificil)


Título: Why Can’t Johnny Develop Secure Software?

http://computinged.wordpress.com/2010/06/22/why-cant-johnny-develop-secure-software/

]]>
			http://www.uhu.es/gonzalo.aranda/2010/06/la-realidad-de-los-metodos-formales-%c2%bfnueva-era/feed/
		0
		
		
		Seminario Interesante
		http://www.uhu.es/gonzalo.aranda/2010/06/seminario-interesante/
		http://www.uhu.es/gonzalo.aranda/2010/06/seminario-interesante/#comments
		Sun, 13 Jun 2010 12:44:09 +0000
		
				
		
		
		
		

		http://www.uhu.es/gonzalo.aranda/?p=70
		
				El próximo viernes 18 de Junio se va  celebrar un seminario, dentro del Grupo de investigación de  Lógica Computacional(al que pertenezco) sobre la Verificación de los sistemas de Control Aéreo.


El ponente será Cesar A.  Muñoz, investigador de la NASA y destacado investigador en métodos formales.


Espero que os guste


Para más información: Aquí

]]>
			http://www.uhu.es/gonzalo.aranda/2010/06/seminario-interesante/feed/
		0