Open main menu
about
Company
Mission and Vision
News
Team
Careers
Publications
Presentations
Videos
FAQ
products
K
Firefly
ERCx
Embdded Systems
solutions
Blockchain Advisory Services
Smart Contract Verification
Smart Contract Analysis
NFT Checker
Protocol Verification
Formal Design and Modeling
The IELE Virtual Machine
Partnerships
Algorand
research
events
Formal Verification in the Ethereum Ecosystem
Arepas, Cumbia and Security
contact
Contact Us
Media Kit
blog
All
Categories
Audits
K
News
Smart Contracts
Verification
RV-Match
RV-Monitor
RV-Predict
Partners
Algorand
Cosmos
Elrond
Ethereum
IOHK
PlatON
Tezos
Partner: PlatON
Runtime Verification completes another successful engagement with PlatON Networks
by
Bogdan Stanciu
October 26th, 2020
Read More
Runtime Verification enters a protocol verification agreement with PlatON
by
Bogdan Stanciu
March 9th, 2020
Read More
