https://github.com/tomijuarez/yavt

Una aplicación didáctica para la introducción a la verificación formal de programas
https://github.com/tomijuarez/yavt

algorithm c-plus-plus first-order-logic formal-verification parser

Last synced: 5 months ago
JSON representation

Una aplicación didáctica para la introducción a la verificación formal de programas

• Host: GitHub
• URL: https://github.com/tomijuarez/yavt
• Owner: tomijuarez
• Created: 2015-03-02T08:00:54.000Z (almost 11 years ago)
• Default Branch: Actualización
• Last Pushed: 2021-11-10T03:27:35.000Z (about 4 years ago)
• Last Synced: 2025-02-14T14:51:36.774Z (10 months ago)
• Topics: algorithm, c-plus-plus, first-order-logic, formal-verification, parser
• Language: C
• Homepage:
• Size: 1.92 MB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project