Unbekannt
Publikationsdatum:
2018-06-08
Beschreibung:
The HiVy toolset provides model checking for statecharts. This is achieved by translating statechart specifications into the input language of the spin model checker.
Schlagwort(e):
Computer Programming and Software
Materialart:
The 10th International SPIN Workshop on Model Checking Software; Portland, OR; United States
Format:
text
Permalink
|
Standort |
Signatur |
Erwartet |
Verfügbarkeit |