Unknown
Publication Date:
2018-06-08
Description:
The HiVy toolset provides model checking for statecharts. This is achieved by translating statechart specifications into the input language of the spin model checker.
Keywords:
Computer Programming and Software
Type:
The 10th International SPIN Workshop on Model Checking Software; Portland, OR; United States
Format:
text
|
Location |
Call Number |
Expected |
Availability |