2021-01-06 | Elrond Network | From Rockets To Blockchains: Formal Verification Pioneered At NASA Applied At Elrond Via Runtime Verification
2020-12-23 | Crypto Slate | IOHK’s new KEVM devnet opens up Cardano for Ethereum developers
2020-12-21 | Digital Coin Standard | K framework Ensures Compatibility Between Solidity And Cardano’s Blockchain For Interoperability
2020-12-18 | Fintech Zoom | Ethereum – Cardano to speak in confidence to Ethereum Solidity devs with new initiative
2020-12-18 | Blockchain Technology News | Cardano is building bridges to Ethereum with new KEVM testnet
2020-12-11 | Illinois CS | Abdelzaher, Lazebnik, and Rosu named 2021 IEEE Fellows
2020-12-11 | Bankless Times | IOHK Relaunches Mantis, Targets Ethereum Classic community
2020-12-11 | FinTech Zoom | IOHK relaunches Mantis to supply Ethereum Basic neighborhood a safer future
2020-12-08 | PlatON Network | The Safety and Stability of PlatON Consensus Protocol Passed Runtime Verification’s Academic-Level Scrutiny
2020-12-04 | Crypto Ninjas | IOHK plans to achieve future Cardano smart contract compatibility with all programming languages
2020-12-04 | INVEZZ | Cardano (ADA) smart contract now compatible with all programming languages
2020-12-04 | Business Blockchain HQ | Cardano Introduces Two Devnets to Enable Any Developer to Build Smart Contracts and Dappss
2020-11-22 | Crypto News Flash | Cardano: Update on financial contracts, Goguen, Marlowe and Plutus
2020-11-16 | Stake.Fish | Getting closer to launch: The stakefish Batch Deposit Contract audit is complete
2020-10-28 | Quantstamp Labs | Formally Verifying Hedera Hashgraph's Stablecoin Framework
2020-10-26 | PlatON Networks | Runtime Verification completes another successful engagement with PlatON Networks
2020-10-12 | New World Times | IOHK indicators contract with Runtime Verification
2020-10-11 | Crypto News Flash | Cardano: IOHK signs contract with Runtime Verification, roadmap for Goguen to be released end of October
2020-10-08 | Illinois CS | Rosu sharpens company vision with third NASA SBIR grant
2020-07-30 | Illinois CS | Sha models a more certain way forward for medical treatments during COVID-19 pandemic
2020-07-29 | Algorand Foundation | Runtime Verification Inc are the latest recipient of an Algorand Foundation Grant
2020-07-23 | Tezos Foundation | Announcing Fourth Cohort of Tezos Ecosystem Grants
2020-06-29 | NASA | A Semantics-Based Verification Toolset for UAS Embedded Software
2020-05-24 | Top 10 Blockchain Security and Smart Contract Audit Companies
2020-04-20 | Uniswap | Uniswap V2 Audit Report
2020-03-09 | CryptoNinjas | Runtime Verification enters a protocol verification agreement with PlatON blockchain
2020-03-09 | PlatON Networks | Runtime Verification Enters a Protocol Verification Agreement with PlatON
2020-02-04 | Ethereum Blog | Audit and formal verification of deposit contract bytecode completed by Runtime Verification
2020-02-03 | ETA | Runtime Verification joins Ethereum Trust Alliance (ETA) as a founding partner
2020-01-29 | 6 Best Smart Contract Auditors For Blockchain Platforms
2019-09-10 | Tezos Foundation | Announcing Second Cohort of Tezos Ecosystem Grants
2019-08-17 | Web3 Foundation | Web3 Foundation Grants — Wave 3 Recipients
2019-07-14 | Elrond Network | Elrond Initiates Cooperation With Runtime Verification — A Research and Development Company Specializing in Formal Methods
2019-06-25 | Algorand | Runtime Verification Formally Verifies the Algorand Blockchain Will Never Fork
2019-05-21 | Ethereum Foundation | Ethereum Foundation Spring 2019 Update
2019-05-05 | Waves | Mathematically proven 100% safe smart contracts
2019-04-27 | Week in Ethereum News | Gnosis Safe gets formally verified by Runtime Verification
2019-04-26 | Gnosis | Formal Verification— A Journey Deep into the Gnosis Safe Smart Contracts
2019-04-23 | UIUC CS News | Bootstrapping in Chicago
2019-04-03 | Panvala | Batch Two Token Grant Applications
2019-03-27 | Elrond Network | Welcoming Grigore Rosu as Advisor to Elrond
2019-01-04 | UIUC Research Park | EnterpriseWorks Graduate Runtime Verification Thrives in Urbana
2019-01-03 | Chicago INNO | Meet the IL Startup Helping NASA and Boeing Detect Errors in Their Software
2018-11-30 | Gnosis | Formal Verification of the Gnosis Safe Contracts
2018-10-18 | Bitrates | MakerDAO: A Stability Engine With a Decentralized Governance Model
2018-10-12 | Uniswap | Lightweight Formal Verification of Uniswap Smart Contract
2018-09-17 | MakerDAO | The Code is Ready
2018-08-22 | MakerDAO | Update on Availability of Multi-Collateral Dai
2018-08-21 | CASA | Storing your Ethereum Safely
2018-08-09 | Week in Ethereum News | Runtime Verification: how formal verification of smart contracts works
2018-08-01 | Cardano Forum | Webcast with Grigore Roșu, CEO of Runtime Verification
2018-07-31 | BC Focus | IOHK launches Cardano smart contracts testnet for IELE virtual machine
2018-07-31 | Crypto Ground | IOHK Launches Second Cardano Smart Contracts Testnet 'IELE'
2018-07-30 | Payment Week | IOHK Launches IELE Virtual Machine Testnet for Cardano Blockchain
2018-06-14 | Blokt | Cardano Brings Forward Its First Smart Contracts
2018-06-12 | Crypto News Monitor | Grigore Rosu: The K framework – a framework to formally define all programming languages
2018-06-07 | Bitrates | IOHK: Virtual Machines and Contract Code Correctness
2018-06-05 | invest in blockchain | Cardano Launches KEVM Testnet: What This Means and Why This is a Big Deal
2018-05-28 | IOHK | First Cardano smart contracts testnet launches
2018-03-07 | Ethereum Foundation | Announcing Beneficiaries of the Ethereum Foundation Grants
2017-12-20 | All Coins News | Virtual Machine for Blockchain Launched by Runtime Verification and IOHK
2017-12-20 | Chain Finance | Virtual Machine for Blockchain Launched by Runtime Verification and IOHK
2017-12-18 | Payment Week | Runtime Verification and IOHK Launch Virtual Machine for Blockchains
2017-12-18 | Payments Journal | Runtime Verification and IOHK Launch Virtual Machine for Blockchains
2017-12-18 | UIUC CS News | Runtime Verification and IOHK Launch Virtual Machine for Blockchains
2017-10-03 | UIUC CS News | Student uses a tool called K to build a path towards more secure blockchains
2017-10-02 | Crypto Ninjas | Research project produces first complete formal semantics of the Ethereum Virtual Machine
2017-08-02 | Econo Times | IOHK’s UIUC project builds formal semantics of Ethereum Virtual Machine
2017-08-02 | Coin Journal | KEVM Wins IC3-Ethereum Crypto Boot Camp 2017 Competition
2017-08-01 | Coinspeaker | IOHK-Funded UIUC Project Produces First Complete Formal Semantics of Ethereum Virtual Machine
2016-10-31 | UC San Diego | CSE Alumnus Wins Most Influential Paper for Work on Runtime Verification
2016-10-17 | UIUC CS News | Rosu earns ASE Most Influential Paper award for work that helped launch runtime verification field