'Artefacto' 2024
Es el décimo de una serie dedicada al avance de la teoría y la práctica de los métodos de análisis formal asistidos por computadora para sistemas de hardware y software. La conferencia cubre el espectro desde resultados teóricos hasta aplicaciones concretas, con énfasis en herramientas prácticas de verificación y los algoritmos y técnicas que son.