2017
Journal article
Open Access
The KandIStI/UMC Online Open-Access Verification Framework
Mazzanti F., Ferrari A., Spagnolo G. O.
model checking authonomous vehicles liveness deadlock gridlock
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.
Source: ERCIM news (2017): 56–57.
Publisher: ERCIM., Le Chesnay
Back to previous page
BibTeX entry
@article{oai:it.cnr:prodotti:382481,
title = {The KandIStI/UMC Online Open-Access Verification Framework},
author = {Mazzanti F. and Ferrari A. and Spagnolo G. O.},
publisher = {ERCIM., Le Chesnay},
journal = {ERCIM news},
pages = {56–57},
year = {2017}
}
0000-0002-0636-5663CNR ExploRA
ISTI Repository
Also available from
ISTI Repository
Also available from
