Top C# Frameworks & Libraries for formal verification

A formal verifier and analysis tool for Solidity Smart Contracts

FORMULA 2.0: Formal Specifications for Verification and Synthesis

Formal Verification of Transport Layer Security Protocol