software

contraval software on GitHub

Open Source
Abstract
A tool for validating the logical consistency of smart contracts implemented at Newcastle Univ. and maintained by Univ. of Cambridge.
Download from
Powered by OpenAIRE Open Research Graph
Any information missing or wrong?Report an Issue