Last released Oct 14, 2026
Contract Architecture Description Language — a DSL for formally specifying, verifying, and deploying institutional designs in System of Systems