Verifying Concurrent Programs by Memory Unwinding

Tomasco, Ermenegildo; Inverso, Omar; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro

doi:10.1007/978-3-662-46681-0_52

UniSa - IRIS Institutional Research Information System

IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.

Verifying Concurrent Programs by Memory Unwinding / Tomasco, Ermenegildo; Inverso, Omar; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro. - 9035(2015), pp. 551-565. ((Intervento presentato al convegno 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015 tenutosi a London, UK nel April 11-18, 2015.

Titolo:	Verifying Concurrent Programs by Memory Unwinding
Autori:	Tomasco, Ermenegildo Inverso, Omar Fischer, Bernd LA TORRE, Salvatore PARLATO, GENNARO mostra contributor esterni nascondi contributor esterni
Data di pubblicazione:	2015
Handle:	http://hdl.handle.net/11386/4647905
ISBN:	978-3-662-46680-3 978-3-662-46681-0
Appare nelle tipologie:	4.1.2 Proceedings con ISBN

File in questo prodotto:

Non ci sono file associati a questo prodotto.

Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11386/4647905

Citazioni

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.