Developing with Formal Methods at BedRock Systems, Inc.

formal methods

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.

BedRock Systems Inc. Announces Appointment of Joel Gil to Lead Critical Infrastructure Cybersecurity Sales

Joel Gil

SAN FRANCISCO, CA., September 26, 2022 — BedRock Systems, the leading software company delivering an unbreakable foundation for secured computing from edge to cloud, announced the addition of Joel Gil to head sales for Energy and Industrial Control Systems markets. A cybersecurity Industrial Control Systems sales veteran, Gil will leverage government and critical infrastructure expertise […]

BedRock Systems and U.S. Army to Demonstrate Trusted Computing Base Integration Framework

Trusted Computing Base Integration Framework

San Francisco, CA, July 13, 2022 — BedRock Systems, the leading software company delivering an unbreakable foundation for secured computing from edge to cloud, today announced the collaboration with U.S. Army Combat Capabilities Development Command (DEVCOM) Aviation & Missile Center (AvMC) and DESE Research. Headquartered at Redstone Arsenal, Alabama, the U.S. DEVCOM AvMC is the Army’s […]

Four Takeaways from The DOE Cybersecurity and Technology Innovation Conference

DOE Cybersecurity

By John Walsh | SVP Business Development & Strategy I recently joined top thought leaders at the U.S. Department of Energy (DOE) Cybersecurity andTechnology Innovation conference to discuss the future of the integration of informationtechnology (IT) and operational technology (OT) within critical infrastructure, focusing on“Leveraging Innovation to Meet Future Challenges.” A year after the Colonial Pipeline attackdemonstrated the […]

Dissecting Critical Infrastructure Risks: The Double-Edged Sword Of Interoperability

Critical Infrastructure Risks

https://bedrocksystems.com/wp-content/uploads/bedrock-webinar-distilling-critical-infrastructure.mp4 In “Dissecting Critical Infrastructure Risks: The Double-Edged Sword of Interoperability”, an expert panel of cyber security and critical infrastructure professionals discuss how the growing need for interoperability between the legacy and modern OT and IT systems that power our most critical infrastructure has resulted in unprecedented levels of architectural complexity which hinders the ability […]