Excavator-generated information from Linux drivers (Decoder Use-Case A)
Description
This dataset is released as part of DECODER's D6.2 deliverable. It contains the information generated by the Excavator tool for easing the verification with Frama-C of the watchdog and ethernet Linux drivers that have been selected as Use-Case A of the project.
Resources
| Name |
Format |
Description |
Link |
|
0 |
|
http://data.europa.eu/88u/dataset/oai-zenodo-org-4383876 |
|
0 |
|
http://data.europa.eu/88u/dataset/oai-zenodo-org-4383876 |
|
0 |
|
http://data.europa.eu/88u/dataset/oai-zenodo-org-4383876 |
Tags
- c-language,-specification-generation,-excavator-tool,-frama-c-tool