Certora, based in Tel Aviv, has made its Certora Prover software open-source, offering industrial-grade formal verification tools to the Web3 community. This move is expected to enhance the reliability and security of blockchain applications by enabling developers to more efficiently validate their smart contracts and algorithms.

The availability of such advanced tools is a significant step forward for developers aiming to build robust and secure decentralized applications, thereby supporting the expanding ecosystem of blockchain technology.