A new star in software verification?

— Read on schneide.blog/2019/10/07/a-new-star-in-software-verification/