Posts by Runtime Verification & Certora

Testing ERC-20 Tokens Part 1: An Arsenal for Bug Detection

By Runtime Verification & CertoraOctober 18th, 2023

Read the full post

Have critical software that has to be right? Let's talk.

10+: Years in formal methods
NASA & Boeing: Early heritage, before blockchain
Trusted: By leading blockchain foundations