2006
Software
Unknown
UMC V3.3
Mazzanti F.
model-checking verifica formale descrizione formale simulazione
Strumento sofware per la modellazzione e la verifica formale (model checking) di sistemi concorrenti descritti tarmite statecharts.
Back to previous page
BibTeX entry
@misc{oai:it.cnr:prodotti:149499,
title = {UMC V3.3},
author = {Mazzanti F.},
year = {2006}
}CNR authorsLaboratories
0000-0003-4562-8777CNR ExploRA