https://github.com/gpetiot/frama-c-stady

Static & Dynamic Verification of C programs
https://github.com/gpetiot/frama-c-stady

acsl frama-c software-verification

Last synced: about 2 months ago
JSON representation

Static & Dynamic Verification of C programs

• Host: GitHub
• URL: https://github.com/gpetiot/frama-c-stady
• Owner: gpetiot
• License: lgpl-3.0
• Created: 2017-08-02T06:04:48.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2019-10-05T04:04:43.000Z (over 5 years ago)
• Last Synced: 2023-05-04T14:55:51.315Z (over 1 year ago)
• Topics: acsl, frama-c, software-verification
• Language: OCaml
• Homepage:
• Size: 2.3 MB
• Stars: 6
• Watchers: 1
• Forks: 3
• Open Issues: 0

Awesome Lists containing this project