Omar Inverso

Omar Inverso

Gran Sasso Science Institute - Viale Francesco Crispi / Italy
Others
AD Scientific Index ID: 1811050
Istituto delle Scienze del Gran Sasso
person_outline Omar Inverso's MOST POPULAR ARTICLES
1-) Bounded model checking of multi-threaded C programs via lazy sequentializationO Inverso, E Tomasco, B Fischer, S La Torre, G ParlatoInternational Conference on Computer Aided Verification, 585-602, 2014932014
2-) Lazy-cseq: A context-bounded model checking tool for multi-threaded c-programsO Inverso, TL Nguyen, B Fischer, S La Torre, G Parlato2015 30th IEEE/ACM International Conference on Automated Software …, 2015542015
3-) Parallel and distributed bounded model checking of multi-threaded programsO Inverso, C TrubianiProceedings of the 25th ACM SIGPLAN symposium on principles and practice of …, 2020502020
4-) Verifying concurrent programs by memory unwindingE Tomasco, O Inverso, B Fischer, S La Torre, G ParlatoTools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015502015
5-) Lazy-CSeq: A Lazy Sequentialization Tool for C: (Competition Contribution)O Inverso, E Tomasco, B Fischer, S La Torre, G ParlatoTools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014492014