Data di Pubblicazione:
2017
Abstract:
ISTI-CNR provides an online open-access environment for the experimentation of design, analysis and verification of UML-based system models. Great as a didactic environment, it can successfully compete in terms of friendliness and usability with the most mainstream verification frameworks.
Tipologia CRIS:
01.01 Articolo in rivista
Keywords:
model checking; authonomous vehicles; liveness; deadlock; gridlock
Elenco autori:
Ferrari, Alessio; Spagnolo, GIORGIO ORONZO; Mazzanti, Franco
Link alla scheda completa:
Link al Full Text:
Pubblicato in: