The KIELER semantics project features the sequentially constructive SCCharts, SCL, and SCEst language including tooling for automatic diagrams, compilation, and simulation
-
Updated
Dec 12, 2024 - Java
The KIELER semantics project features the sequentially constructive SCCharts, SCL, and SCEst language including tooling for automatic diagrams, compilation, and simulation
A case-study that shows how the Smart Contract Locator (SCL), the Smart Contract Description Language (SCDL), and the Smart Contract Invocation Protocol (SCIP) can be used in combination to support the integration of heterogeneous multi-blockchain setups into client applications.
Add a description, image, and links to the scl topic page so that developers can more easily learn about it.
To associate your repository with the scl topic, visit your repo's landing page and select "manage topics."