Skip to main content
Open Access Publications from the University of California

Modeling with SpecCharts


SpecCharts is a language intended for system level specification and synthesis. Its blending of hierarchical state-diagrams with programming constructs permits description of event-driven systems as a true hierarchy of behaviors, unlike existing languages. Through many examples, we show in this report how a language with an underlying model of behavioral hierarchy greatly aids concise and comprehensible specifications obtained with minimal effort.

Main Content
For improved accessibility of PDF content, download the file to your device.
Current View