# Verificación formal de software y ¿la programación es un arte? \| E22

Episodio de [Érase una vez un algoritmo...](https://escuchario.semeescucha.es/podcast/erase-una-vez-un-algoritmo), de Camilo Chacón Sartori.

- Publicado: 17 de mayo de 2020
- Duración: 30 min
- Temporada 1, episodio 22
- Audio: https://www.buzzsprout.com/758831/episodes/3799145-verificacion-formal-de-software-y-la-programacion-es-un-arte-e22.mp3
- Página: https://escuchario.semeescucha.es/podcast/erase-una-vez-un-algoritmo/episodio/7328911-verificacion-formal-de-software-y-la-programacion-es-un-arte-e22

## Sobre este episodio

¡Enviáme un mensaje! Hoy trataremos el tema de la verificación formal de software desde la visión de Tony Hoare. Y posteriormente hablaremos del concepto de "arte" dentro de la programación según Donald Knuth. Support the show

Anterior: [¿Programador, Analista programador o Desarrollador de software? \| E21](https://escuchario.semeescucha.es/podcast/erase-una-vez-un-algoritmo/episodio/7328912-programador-analista-programador-o-desarrollador-de-software-e21)
Siguiente: [Estructuras de datos persistentes \| E23](https://escuchario.semeescucha.es/podcast/erase-una-vez-un-algoritmo/episodio/7328910-estructuras-de-datos-persistentes-e23)

## Últimos episodios de Érase una vez un algoritmo...

- [«Magnifica Humanitas» y la IA \| E-148](https://escuchario.semeescucha.es/podcast/erase-una-vez-un-algoritmo/episodio/7328784-magnifica-humanitas-y-la-ia-e-148) · 5 de junio de 2026 · 12 min
- [Cuando el software sobrevive a sus razones \| E-147](https://escuchario.semeescucha.es/podcast/erase-una-vez-un-algoritmo/episodio/7328785-cuando-el-software-sobrevive-a-sus-razones-e-147) · 9 de mayo de 2026 · 21 min
- [Agentes que negocian: contratos de información \| E-146](https://escuchario.semeescucha.es/podcast/erase-una-vez-un-algoritmo/episodio/7328786-agentes-que-negocian-contratos-de-informacion-e-146) · 17 de abril de 2026 · 10 min
- [Infraestructura cognitiva-artificial \| E-145](https://escuchario.semeescucha.es/podcast/erase-una-vez-un-algoritmo/episodio/7328787-infraestructura-cognitiva-artificial-e-145) · 6 de abril de 2026 · 13 min
- [El gap de especificación en los agentes de código \| E-144](https://escuchario.semeescucha.es/podcast/erase-una-vez-un-algoritmo/episodio/7328788-el-gap-de-especificacion-en-los-agentes-de-codigo-e-144) · 23 de marzo de 2026 · 17 min