We’ve just released a major update to the @CertoraInc Prover, our formal verification engine for proving smart contracts correct or finding real bugs. v8.1.0 is packed with powerful new features and (yes) some breaking changes. Here’s what’s new 👇
1,77K