secvisor-formal-verification. Formal verification of SecVisor, a secure hypervisor

github.com/danluu/secvisor-formal-verification
by @danluu

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.