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: 6 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 (almost 8 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 (about 2 years ago)
- Topics: acsl, frama-c, software-verification
- Language: OCaml
- Homepage:
- Size: 2.3 MB
- Stars: 6
- Watchers: 1
- Forks: 3
- Open Issues: 0