Excavator-generated information from Linux drivers (Decoder Use-Case A)
收藏NIAID Data Ecosystem2026-03-12 收录
下载链接：
https://zenodo.org/record/4383875
下载链接
链接失效反馈官方服务：
资源简介：
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.
创建时间：
2020-12-23
