A state/event-based model-checking approach for the analysis of abstract system properties

system properties Maurice H. ter Beeka,∗ , Alessandro Fantechia,b , Stefania Gnesia , Franco Mazzantia a Istituto di Scienza e Tecnologie dell’Informazione ‘‘A. Faedo’’, CNR Via G. Moruzzi 1, 56124 Pisa, Italy b Dipartimento di Sistemi e Informatica, Università degli Studi di Firenze Via S. Marta 3, 50139 Firenze, Italy a r t i c l e i n f o Article history: Received 8 June 2009 Accepted 14 July 2010 Available online 30 July 2010

• Type: Journal
• Year: 2011
• Where: SCP
• Authors: Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti
• Keywords: CNR Via G, Communications, Firenze Via S, Properties Maurice H, SCP 2011