GitHub - kth-step/NIC-formalization-monitor: This repository contains the HOL4 formalization of the NIC on BeagleBone Black, and the monitor in Linux 3.10 that intercepts nic register writes and checks that they preserve the NIC invariant.

kth-step / NIC-formalization-monitor Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

This repository contains the HOL4 formalization of the NIC on BeagleBone Black, and the monitor in Linux 3.10 that intercepts nic register writes and checks that they preserve the NIC invariant.

0 stars 0 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
monitor		monitor
nic_model		nic_model

About

This repository contains the HOL4 formalization of the NIC on BeagleBone Black, and the monitor in Linux 3.10 that intercepts nic register writes and checks that they preserve the NIC invariant.

Activity

Custom properties

0 stars

5 watching

0 forks

Report repository