NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
HiVy automated translation of stateflow designs for model checking verificationtool set enables model checking of finite state machines designs. This is acheived by translating state-chart specifications into the input language of the Spin model checker. An abstract syntax of hierarchical sequential automata (HSA) is provided as an intermediate format tool set.
Document ID
20060043630
Acquisition Source
Jet Propulsion Laboratory
Document Type
Conference Paper
External Source(s)
Authors
Pingree, Paula
Date Acquired
August 23, 2013
Publication Date
July 14, 2003
Meeting Information
Meeting: JPL/CSMISS 2003 SMC-IT Poster Session Reception
Location: Pasadena, CA
Country: United States
Start Date: July 14, 2003
Distribution Limits
Public
Copyright
Other
Keywords
model checking
translation
tool set

Available Downloads

There are no available downloads for this record.
No Preview Available