VeriSol: How Microsoft Research’s Smart Contract Verifier Became Part of Azure Blockchain
Microsoft Research’s VeriSol tool translates Solidity smart contracts into a formal verification language, and its integration into Azure Blockchain’s CI/CD pipeline makes formal verification more accessible to blockchain developers.