NASA NTRS · 20060030531
The HiVy toolset
Abstract
The HiVy toolset provides model checking for statecharts. This is achieved by translating statechart specifications into the input language of the spin model checker.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
Pingree, P. J., Mikk, E.. 2003-05-09. The HiVy toolset. https://ntrs.nasa.gov/citations/20060030531
Cite the original work for its findings. Save a collection to share your selection of sources.