NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

Press Enter or click the Search button to begin your search.

Back to Results
A Flexible Statechart-to-model-checker TranslatorMany 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.
Document ID
20210002684
Acquisition Source
Jet Propulsion Laboratory
Document Type
Other
External Source(s)
hdl:2014/16678
Authors
Feather, M. S.
Dunphy, J.
Rouquette, N.
Date Acquired
June 7, 1999
Publication Date
June 7, 1999
Publication Information
Publisher: UNKNOWN
Distribution Limits
Public
Copyright
Other
Technical Review
Keywords
statecharts
model
checking
analysis
transation
code
generation
verification

Available Downloads

There are no available downloads for this record.

Related Records

There are no records associated with this record.
No Preview Available