cadl
CADL (Contract Architecture Description Language): a DSL and toolchain for specifying, verifying and generating code from institutional designs in Systems of Systems
