Holds data and code from the gradual verification of a C parser with gvc0.
Note: raw journal entry data can be found in the excel sheet tracking our qualitative data analysis (under /analyzed-data/).
-
Notifications
You must be signed in to change notification settings - Fork 0
Holds data and code from the gradual verification of a C parser with gvc0.
License
gradual-verification/gvc0-cparser-case-study
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Holds data and code from the gradual verification of a C parser with gvc0.
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published