Gennaro Parlato -

Registered user since Wed 17 Aug 2022

Name:Gennaro Parlato

Affiliation:University of Molise

Contributions

2023

VMCAI

Committee Member in Program Committee within the VMCAI 2023-track

2022

ASE

Author of CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory within the Tool Demonstrations-track

2019

ASE

Author of VeriSmart 2.0: Swarm-Based Bug-Finding for Multi-Threaded Programs with Lazy-CSeq within the Demonstrations-track