Runtime Verification joins the Enterprise Ethereum Alliance

Posted on September 13th, 2019 by Bogdan Stanciu
Posted in News

RV and Enterprise Ethereum Alliance

Runtime Verification, a premium provider of formal verification services announced that it has joined the Enterprise Ethereum Alliance (EEA), the defacto standards organization for enterprise blockchain – one that is backed by the largest developer community in the world and a worldwide member-base.

As a member of the EEA, Runtime Verification will collaborate with industry leaders in pursuit of Ethereum-based enterprise technology best practices, open standards, and open-source reference architectures.

Runtime originally cut its teeth providing verification services to R&D units of companies in the embedded space. In 2017 the company was approached by the founders of Ethereum who asked if the company had considered applying formal verification techniques to the blockchain space. Fast forward to 2019 and the company is firmly entrenched in the blockchain ecosystem where it provide bespoke formal verification services to companies, large and small.

“We have long admired the incredible work the EEA does each and every day to evangelize and push forward the entire Ethereum developer ecosystem”, said Patrick MacKay, COO at Runtime Verification. “They are tireless advocates and proponents of enterprise blockchain and the entire community is infinitely better for their leadership. Runtime Verification is pleased to join the EEA and looks forward to becoming an active member.”

The EEA membership base represents hundreds of companies from every region of the world across a wide variety of business sectors, including technology, banking, legal, government, healthcare, energy, pharmaceuticals, marketing, and insurance. The EEA’s industry-focused, member-driven Special Interest and Technical Working Groups define market requirements needed to contribute to future versions of the EEA specification, helping to scale the number of market categories the specification supports. The EEA specifications and related materials are available for public download on the EEA website at

About the EEA
The EEA is a member-driven, standards organization whose charter is to develop open, blockchain specifications that drive harmonization and interoperability for businesses and consumers worldwide. Our global community of members is made up of leaders, adopters, innovators, developers, and businesses who collaborate to create an open, decentralized web for the benefit of everyone. For additional information about joining EEA, please reach out to or visit

About Runtime Verification
Runtime Verification Inc. (RV) is a technology company headquartered in Urbana, Illinois. The company employs a novel software analysis approach to analyze computer programs as they execute, thereby identifying bugs, errors, holes, and possible exploits. Runtime Verification is the primary developer of the K-Framework ( The K Framework facilitates the definition of domain-specific or general-purpose programming languages, and the subsequent automatic generation of tools for formally analyzing programs in those languages.