Joint works with Massimo Benerecetti
Conference articles
2021▸
Expressing structural temporal properties of safety critical hierarchical systems
Authors:
M.
Benerecetti, R.
Lanotte, F.
Mogavero, A.
Peron, and L. L. L.
Starace.
Presented at QUATIC 2021 - 14th International Conference on the Quality of Information and Communications Technology.2019▸
From Dynamic State Machines to Promela
Authors:
M.
Benerecetti, U.
Gentile, S.
Marrone, R.
Nardone, A.
Peron, L. L. L.
Starace, and V.
Vittorini.
Presented at SPIN 2019 - 26th International SPIN Symposium on Model Checking of Software.