GitHub repository: tomijuarez/YAVT
Primary language: C
Description: Una aplicación didáctica para la introducción a la verificación formal de programas