The KandIStI/UMC Online Open-Access Verification Framework

Academic Article
Publication Date:
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.
Iris type:
01.01 Articolo in rivista
Keywords:
model checking; authonomous vehicles; liveness; deadlock; gridlock
List of contributors:
Authors of the University:
Handle:
https://iris.cnr.it/handle/20.500.14243/339454
Full Text:
Published in:
ERCIM NEWS
Journal