Dataset Open Access

Excavator-generated information from Linux drivers (Decoder Use-Case A)

Védrine, Franck; Mouchard, Gilles

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 (227.2 MB)
Name Size
Excavator-at91sam9-watchdog.tar.xz
md5:992f89c87faeea53f1acec51dbddbb71
80.5 MB Download
Excavator-e1000e-ethernet.tar.xz
md5:d490b21e65c3e18ba140e746e1bdd466
146.7 MB Download
53
7
views
downloads
All versions This version
Views 5353
Downloads 77
Data volume 629.8 MB629.8 MB
Unique views 4747
Unique downloads 66

Share

Cite as