Gennaro Parlato -

Registered user since Wed 17 Aug 2022

Name:Gennaro Parlato

Affiliation:University of Molise

Contributions

VMCAI 2023	Committee Member in Program Committee within the VMCAI 2023-track
ASE 2022	Author of CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory within the Tool Demonstrations-track
ASE 2019	Author of VeriSmart 2.0: Swarm-Based Bug-Finding for Multi-Threaded Programs with Lazy-CSeq within the Demonstrations-track