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
ter Beek MH;Mazzanti F;
2022
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 | |
|---|---|---|---|
|
prod_471666-doc_191683.pdf
Open Access dal 27/09/2024
Descrizione: FTS4VMC: a front-end tool for static analysis and family-based model checking of FTSs with VMC
Tipologia:
Versione Editoriale (PDF)
Dimensione
593.98 kB
Formato
Adobe PDF
|
593.98 kB | Adobe PDF | Visualizza/Apri |
|
prod_471666-doc_191684.pdf
Open Access dal 27/09/2024
Descrizione: Preprint - FTS4VMC: a front-end tool for static analysis and family-based model checking of FTSs with VMC
Tipologia:
Versione Editoriale (PDF)
Dimensione
2.64 MB
Formato
Adobe PDF
|
2.64 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
