FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC.
Saved in:
| Title: | FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC. |
|---|---|
| Authors: | ter Beek, Maurice H.1, maurice.terbeek@isti.cnr.it, Damiani, Ferruccio2, ferruccio.damiani@unito.it, Lienhardt, Michael3, michael.lienhardt@onera.fr, Mazzanti, Franco1, franco.mazzanti@isti.cnr.it, Paolini, Luca2, luca.paolini@unito.it, Scarso, Giordano2, giordano.scarso@edu.unito.it |
| Source: | Science of Computer Programming; Dec2022, Vol. 224, pN.PAG-N.PAG, 1p |
| Database: | Applied Science & Technology Source |
| ISSN: | 01676423 |
|---|---|
| DOI: | 10.1016/j.scico.2022.102879 |
