Frameworks > ConCert

Framework for smart contract testing and verification featuring a code extraction pipeline to several smart contract languages.