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 |
|---|---|---|---|
| Unknown Resource | Unknown | Open resource | |
| Unknown Resource | Unknown | Open resource | |
| Unknown Resource | Unknown | Open resource |