/Correct-by-Construction

Tools for RHO-Lang smart contracts formal verification (with Namespace/Spatial/Hennessy-Milner Logics)

Primary LanguageScalaApache License 2.0Apache-2.0

Stargazers