Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization / Omar Inverso;Ermenegildo Tomasco;Bernd Fischer;Salvatore La Torre;Gennaro Parlato. - 8559(2014), pp. 585-602. ((Intervento presentato al convegno Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 tenutosi a Vienna, Austria nel July 18-22, 2014.
Titolo: | Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization |
Autori: | |
Data di pubblicazione: | 2014 |
Handle: | http://hdl.handle.net/11386/4402054 |
ISBN: | 9783319088662 9783319088679 |
Appare nelle tipologie: | 4.1.2 Proceedings con ISBN |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.