NASA NTRS · 20210002684
A Flexible Statechart-to-model-checker Translator
Abstract
Many current-day software design tools offer some variant of statechart notation for system specification. We, like others, have built an automatic translator from (a subset of) statecharts to a model checker, for use to validate behavioral requirements.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
Feather, M. S., Dunphy, J., Rouquette, N.. 1999-06-07. A Flexible Statechart-to-model-checker Translator. https://ntrs.nasa.gov/citations/20210002684
Cite the original work for its findings. Save a collection to share your selection of sources.