FTS4VMC is a publicly available front-end tool for the static analysis and family-based model checking of a Featured Transition System (FTS). It can detect ambiguities in an FTS, disambiguate an ambiguous FTS, transform an FTS into a Modal Transition System (MTS), and interact with the VMC model checker for family-based verification.
FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC
Damiani F.;Lienhardt M.;Paolini L.;
2022-01-01
Abstract
FTS4VMC is a publicly available front-end tool for the static analysis and family-based model checking of a Featured Transition System (FTS). It can detect ambiguities in an FTS, disambiguate an ambiguous FTS, transform an FTS into a Modal Transition System (MTS), and interact with the VMC model checker for family-based verification.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
FTS4VMC a front-end tool for static analysis and family-based model checking of FTSs with VMC - prePress.pdf
Accesso aperto con embargo fino al 01/12/2024
Tipo di file:
PDF EDITORIALE
Dimensione
593.98 kB
Formato
Adobe PDF
|
593.98 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.
