Published December 22, 2020
| Version 1.0.0
Dataset
Open
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.
Files
Files
(227.2 MB)
Name | Size | Download all |
---|---|---|
md5:992f89c87faeea53f1acec51dbddbb71
|
80.5 MB | Download |
md5:d490b21e65c3e18ba140e746e1bdd466
|
146.7 MB | Download |