Posts by Yi Zhang

The RV Bounded Model Checker - A lightweight semantics-based tool

By Yi ZhangAugust 30th, 2019

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