EnterpriseWorks graduate Runtime Verification, a startup that uses runtime verification-based techniques to conduct security audits on virtual machines and smart contracts, has raised $5.3 million in funding to advance blockchain security.
These funds raised will be used to accelerate the development of tooling intended to enhance the safety, reliability, and correctness of computing systems for blockchain and embedded systems, as well as to expand Runtime Verification’s global presence.
“I am very pleased that our investors have embraced our unique language-parametric approach, built over more than 20 years within the K Framework. The generality of our approach allows our tools to be easily configured to work with different programming languages and different blockchains,” said the company’s founder Grigore Rosu.
“The fact that five blockchains joined our investment round through their funds, based on research from their development teams who witnessed our technology, is a testament to the universality and strength of our K-powered technology.”
Runtime Verification expects to grow its team significantly over the course of the next year, with plans to release new security tools and products.
Read more here.