Developing with Formal Methods at BedRock Systems, Inc.

The BedRock HyperVisor is a commercial, highly concurrent, verified virtualization platform that employs formal methods to enable proofs of complex, lock-free concurrent code; support automating proofs of large programs; and integrate with “informal” parts of the software lifecycle. Learn more about how we develop formal methods here at BedRock Systems.
How To Enhance Zero Trust – ZT

Zero Trust – ZT relies on mutual authentication, verifying the identity and integrity of devices whether they exist inside or outside the network, and providing access to applications and services based on the confidence of device identity and device health in combination with user authentication and authorization. This provides a secure foundation for trusted communications […]
A Case for Lightweight Interfaces in Coq

This paper provides an overview of Coq, including three approaches and their advantages and disadvantages.
BedRock Founders Perspective

The BedRock Approach to Trustworthy Systems

How to BedRock Your Traditional and Distributed Energy Resources

A nation’s infrastructure is worth protecting, learn how to add BedRock Solutions to your traditional and distributed energy resources. Also, review various approaches to BedRocking and employee use cases that can inform your implementation process. Click the image below to view the full whitepaper.
Formal Methods Defined from an Academic POV

Trusted Computing Base Edge to Cloud for Government

A Foundation for Cyber Resilience & Zero Trust