BedRock Systems (now operating as BlueRock Security, Inc) is a United States based cybersecurity company building formally verified systems software for critical infrastructure. Its work centers on the NOVA microhypervisor and virtual machine introspection (VMI) tooling, using machine-checked mathematical proofs written in Coq to establish strong… - View it on GitHub