Category: News
![Runtime Verification Hosts EthCluj Workshop on Formal Methods](/_next/image?url=https%3A%2F%2Fstrapi-rv-bucket-01.s3.us-east-2.amazonaws.com%2Fruntime_verification_logo_black_957e882be7.png&w=640&q=75)
![Runtime Verification Launches a Registered Algorand Relay Node](/_next/image?url=https%3A%2F%2Fstrapi-rv-bucket-01.s3.us-east-2.amazonaws.com%2Falgorand_60718be2e8.png&w=640&q=75)
![Runtime Verification Brings Formal Verification to Algorand](/_next/image?url=https%3A%2F%2Fstrapi-rv-bucket-01.s3.us-east-2.amazonaws.com%2Falgorand_60718be2e8.png&w=640&q=75)
![Runtime Verification Audits World Mobile EarthNode NFT Claiming Contract](/_next/image?url=https%3A%2F%2Fstrapi-rv-bucket-01.s3.us-east-2.amazonaws.com%2Fworld_mobile_1f20b2ecca.png&w=640&q=75)
Runtime Verification Audits World Mobile EarthNode NFT Claiming Contract
by Runtime Verification
February 15th, 2023![Runtime Verification becomes Algorand Foundation’s security partner](/_next/image?url=https%3A%2F%2Fstrapi-rv-bucket-01.s3.us-east-2.amazonaws.com%2Falgorand_60718be2e8.png&w=640&q=75)
Runtime Verification becomes Algorand Foundation’s security partner
by Runtime Verification
December 9th, 2021![Runtime Verification Raises $5.3 Million to Advance Blockchain Security](/_next/image?url=%2Fassets%2Fimg%2Frv-logo.png&w=640&q=75)
Runtime Verification Raises $5.3 Million to Advance Blockchain Security
by Runtime Verification
June 18th, 2021![MultiversX (formerly Elrond) gets new secure dev tooling and a formal semantics](/_next/image?url=https%3A%2F%2Fstrapi-rv-bucket-01.s3.us-east-2.amazonaws.com%2Fmultiversx_dark_f750dab64b.png&w=640&q=75)
MultiversX (formerly Elrond) gets new secure dev tooling and a formal semantics
by Rikard Hjort
January 5th, 2021![K-Michelson: a Case Study on Formal, Executable Language Specification (Part 2)](/_next/image?url=https%3A%2F%2Fstrapi-rv-bucket-01.s3.us-east-2.amazonaws.com%2Ftezos_a4b3164e7a.png&w=640&q=75)
K-Michelson: a Case Study on Formal, Executable Language Specification (Part 2)
by Stephen Skeirik
December 11th, 2020![K-Michelson: a Case Study on Formal, Executable Language Specification (Part 1)](/_next/image?url=https%3A%2F%2Fstrapi-rv-bucket-01.s3.us-east-2.amazonaws.com%2Ftezos_a4b3164e7a.png&w=640&q=75)
K-Michelson: a Case Study on Formal, Executable Language Specification (Part 1)
by Stephen Skeirik
November 2nd, 2020![Runtime Verification completes another successful engagement with PlatON Networks](/_next/image?url=https%3A%2F%2Fstrapi-rv-bucket-01.s3.us-east-2.amazonaws.com%2FPlat_ON_logo_3ad945c0fa.png&w=640&q=75)
Runtime Verification completes another successful engagement with PlatON Networks
by Bogdan Stanciu
October 26th, 2020![Runtime Verification and Algorand announce a new engagement to build formal tools for Algorand’s smart contract ecosystem](/_next/image?url=https%3A%2F%2Fstrapi-rv-bucket-01.s3.us-east-2.amazonaws.com%2Falgorand_60718be2e8.png&w=640&q=75)
Runtime Verification and Algorand announce a new engagement to build formal tools for Algorand’s smart contract ecosystem
by Musab Alturki
July 28th, 2020![Formally Verifying Finality in Gasper: The Core of the Beacon Chain](/_next/image?url=https%3A%2F%2Fstrapi-rv-bucket-01.s3.us-east-2.amazonaws.com%2Fethereum_logo_landscape_purple_d0e9145e6f.png&w=640&q=75)
![KWasm and KEwasm: executable semantics and formal verification tools for Ethereum 2.0](/_next/image?url=https%3A%2F%2Fstrapi-rv-bucket-01.s3.us-east-2.amazonaws.com%2Fgitcoin_logo_horizontal_light_815f7a6f61.png&w=640&q=75)
KWasm and KEwasm: executable semantics and formal verification tools for Ethereum 2.0
by Rikard Hjort
March 26th, 2020![Formal Verification 101 for Blockchain Systems and Smart Contracts: Formalizing Requirements](/_next/image?url=%2Fassets%2Fimg%2Frv-logo.png&w=640&q=75)
Formal Verification 101 for Blockchain Systems and Smart Contracts: Formalizing Requirements
by Stephen Skeirik
March 10th, 2020![Runtime Verification enters a protocol verification agreement with PlatON](/_next/image?url=https%3A%2F%2Fstrapi-rv-bucket-01.s3.us-east-2.amazonaws.com%2FPlat_ON_logo_3ad945c0fa.png&w=640&q=75)
Runtime Verification enters a protocol verification agreement with PlatON
by Bogdan Stanciu
March 9th, 2020![Formal Verification 101 for Blockchain Systems and Smart Contracts](/_next/image?url=%2Fassets%2Fimg%2Frv-logo.png&w=640&q=75)
Formal Verification 101 for Blockchain Systems and Smart Contracts
by Stephen Skeirik
February 18th, 2020![End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract](/_next/image?url=https%3A%2F%2Fstrapi-rv-bucket-01.s3.us-east-2.amazonaws.com%2Fethereum_logo_landscape_purple_d0e9145e6f.png&w=640&q=75)
End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract
by Daejun Park
January 20th, 2020![K vs. Coq as Language Verification Frameworks (Part 3 of 3)](/_next/image?url=%2Fassets%2Fimg%2Frv-logo.png&w=640&q=75)
![K vs. Coq as Language Verification Frameworks (Part 1 of 3)](/_next/image?url=%2Fassets%2Fimg%2Frv-logo.png&w=640&q=75)
![K vs. Coq as Language Verification Frameworks (Part 2 of 3)](/_next/image?url=%2Fassets%2Fimg%2Frv-logo.png&w=640&q=75)
![A Formal Model in K of the Beacon Chain: Ethereum 2.0’s Primary Proof-of-Stake Blockchain](/_next/image?url=https%3A%2F%2Fstrapi-rv-bucket-01.s3.us-east-2.amazonaws.com%2Fethereum_logo_landscape_purple_d0e9145e6f.png&w=640&q=75)
A Formal Model in K of the Beacon Chain: Ethereum 2.0’s Primary Proof-of-Stake Blockchain
by Musab Alturki
October 22nd, 2019![Runtime Verification joins the Enterprise Ethereum Alliance](/_next/image?url=https%3A%2F%2Fstrapi-rv-bucket-01.s3.us-east-2.amazonaws.com%2Fethereum_logo_landscape_purple_d0e9145e6f.png&w=640&q=75)
![The RV Bounded Model Checker - A lightweight semantics-based tool](/_next/image?url=%2Fassets%2Fimg%2Frv-logo.png&w=640&q=75)
![Formally Verifying Algorand: Reinforcing a Chain of Steel (Modeling and Safety)](/_next/image?url=https%3A%2F%2Fstrapi-rv-bucket-01.s3.us-east-2.amazonaws.com%2Falgorand_60718be2e8.png&w=640&q=75)
Formally Verifying Algorand: Reinforcing a Chain of Steel (Modeling and Safety)
by Musab Alturki
June 18th, 2019![Runtime Verification goes multinational by opening Bucharest based subsidiary](/_next/image?url=%2Fassets%2Fimg%2Frv-logo.png&w=640&q=75)
Runtime Verification goes multinational by opening Bucharest based subsidiary
by Patrick MacKay
November 27th, 2018![Runtime Verification Completes Initial Formal Verification of Ethereum Casper Protocol](/_next/image?url=%2Fassets%2Fimg%2Frv-logo.png&w=640&q=75)
Runtime Verification Completes Initial Formal Verification of Ethereum Casper Protocol
by Patrick MacKay
November 27th, 2018![RV Inc. & FSL @ UIUC Release First Formal Viper Tools](/_next/image?url=%2Fassets%2Fimg%2Frv-logo.png&w=640&q=75)
![New Technologies for the Blockchain: IELE (virtual machine) and K (universal language framework)](/_next/image?url=https%3A%2F%2Fstrapi-rv-bucket-01.s3.us-east-2.amazonaws.com%2Fiohk_logo_a5d01aea3f.png&w=640&q=75)
New Technologies for the Blockchain: IELE (virtual machine) and K (universal language framework)
by Grigore Roșu
October 25th, 2017![ASE 2001 paper that helped shape the Runtime Verification field got the Most Influential Paper Award](/_next/image?url=%2Fassets%2Fimg%2Frv-logo.png&w=640&q=75)
ASE 2001 paper that helped shape the Runtime Verification field got the Most Influential Paper Award
by Grigore Roșu
October 30th, 2016![RV Inc. to Give Tutorial at Runtime Verification ’16 Conference](/_next/image?url=%2Fassets%2Fimg%2Frv-logo.png&w=640&q=75)
![RV Could Make Cars Safer - Article in UIUC's Click Magazine](/_next/image?url=%2Fassets%2Fimg%2Frv-logo.png&w=640&q=75)