The HiVy toolset

Pingree, P. J.; Mikk, E.
URI: http://hdl.handle.net/2014/11205
Date: 2003-05-09
Citation: The 10th International SPIN Workshop on Model Checking Software
Portland, OR, USA

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.

Show full item record

Items in TRS are protected by copyright, but are furnished with U.S. government purpose use rights.

Files in this item

Thumbnail
Name: 02-3112.pdf
Size: 1.650Mb
Format: PDF
View/Open

This item appears in the following Collection(s)

Search


Browse

My Account