This is a tool for model checking the stochastic logic CSLTA. It has been demonstrated to QEST2010, and it has been presented in a tool paper at the same conference
MC4CSLTA
AMPARORE, ELVIO GILBERTO;DONATELLI, Susanna
2010-01-01
Abstract
This is a tool for model checking the stochastic logic CSLTA. It has been demonstrated to QEST2010, and it has been presented in a tool paper at the same conference
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
QEST2010-CSLTAtool.pdf
Accesso riservato
Tipo di file:
PREPRINT (PRIMA BOZZA)
Dimensione
344.06 kB
Formato
Adobe PDF
|
344.06 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
|
CslTA-Solver Manual.pdf
Accesso riservato
Tipo di file:
MATERIALE NON BIBLIOGRAFICO
Dimensione
300.72 kB
Formato
Adobe PDF
|
300.72 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
