DECODER H2020 Project

Part of EU Open Research Repository
Published December 22, 2020 | Version 1.0.0
Dataset Open

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

Authors/Creators

  • 1. CEA List, Université Paris-Saclay

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
md5:992f89c87faeea53f1acec51dbddbb71
80.5 MB Download
md5:d490b21e65c3e18ba140e746e1bdd466
146.7 MB Download

Additional details

Funding

European Commission
DECODER - DEveloper COmpanion for Documented and annotatEd code Reference 824231