S

Sc

Project information

StateCharts

https://github.com/tmc/sc Statecharts: A Formal Model for Reactive Systems

This repository presents an implementation of the Statecharts formalism, originally introduced by David Harel (1987). Statecharts provide a visual language for the specification and design of complex reactive systems, extending conventional state-transition diagrams with well-defined semantics for hierarchy, concurrency, and communication.

69 Commits
2 Branches
1 Tag

README
MIT License

Created on

December 27, 2025

Loading

🐾❤️ Strive to be the person your dogs believe you are ❤️🐾