Factory > Showcase > tinyNF
Name:
tinyNF
Description:
A simpler and faster NIC driver model for network functions
Professor — Lab:
George Candea — Dependable Systems Lab
Contact:
Solal Pirelli
Home page:
tinyNF
Technical description:
By merely replacing the state-of-the-art driver with our driver, formal verification of the entire software stack completes in 7x less time, while the verified functions’ throughput improves by 160%.
Papers:
Project status:
inactive — entered showcase: 2021-01-22 — entry updated: 2023-03-20
Source code:
Lab Github - last commit: 2023-02-17
Code quality:
This project has not yet been evaluated by the C4DT Factory team. We will be happy to evaluate it upon request.
Project type:
Library
Programming language:
C
License:
MIT