Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/marc7666/verification-with-cbmc
We have to use the bounded model checking tool for C programs, CBMC , for checking the properties we ask for each C program.
https://github.com/marc7666/verification-with-cbmc
Last synced: about 9 hours ago
JSON representation
We have to use the bounded model checking tool for C programs, CBMC , for checking the properties we ask for each C program.
- Host: GitHub
- URL: https://github.com/marc7666/verification-with-cbmc
- Owner: marc7666
- Created: 2022-05-26T13:39:41.000Z (over 2 years ago)
- Default Branch: main
- Last Pushed: 2022-06-14T12:30:50.000Z (over 2 years ago)
- Last Synced: 2023-03-05T08:56:53.264Z (over 1 year ago)
- Language: C
- Homepage:
- Size: 1.32 MB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md