https://github.com/pvnieo/ivf-program-verifier

Implementing a model-checker from control graphs.
https://github.com/pvnieo/ivf-program-verifier

Last synced: about 2 months ago
JSON representation

Implementing a model-checker from control graphs.

• Host: GitHub
• URL: https://github.com/pvnieo/ivf-program-verifier
• Owner: pvnieo
• Created: 2018-01-23T14:04:14.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2018-02-20T11:30:33.000Z (over 7 years ago)
• Last Synced: 2025-02-15T11:23:20.325Z (4 months ago)
• Language: Python
• Homepage:
• Size: 6.65 MB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
Se référer au rapport au chemin rapport/PINON_ATTAIKI_IVF_RAPPORT.pdf