https://github.com/kieler/semantics

The KIELER semantics project features the sequentially constructive SCCharts, SCL, and SCEst language including tooling for automatic diagrams, compilation, and simulation

diagrams esterel model-driven-development model-driven-engineering modeling modeling-tool sccharts scest scl sequential-constructiveness simulation synchronous-language verification visualization

Last synced: 07 May 2025