Salvatore LA TORRE | Pubblicazioni
Salvatore LA TORRE Pubblicazioni
| 2022 | |
| Articolo in rivista | |
| Bounded Verification of Multi-threaded Programs via Lazy Sequentialization ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS. Vol. 44. Pag.1-50 ISSN:0164-0925. | |
| Inverso, O.; Tomasco, E.; Fischer, B.; La Torre, S.; Parlato, G. | |
| Versione online | |
| Digital Object Identifier (DOI): 10.1145/3478536 Codice identificativo ISI: WOS:000748389400001 Codice identificativo SCOPUS: 2-s2.0-85123441720 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 2022 | |
| Contributo in Atti di convegno | |
| CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory. In: Proc. of the 37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022 ACM Pag.156:1-156:5 ISBN:9781450394758 | |
| 37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022 Rochester, MI, USA October 10-14, 2022 | |
| Fischer, B.; La Torre, S.; Parlato, G.; Schrammel, P. | |
| Digital Object Identifier (DOI): 10.1145/3551349.3559523 Codice identificativo ISI: WOS:001062775200108 Codice identificativo SCOPUS: 2-s2.0-85146936369 | |
| Visualizza sul Database dei Prodotti (IRIS) |
