Write a Blog >>
Salvatore La Torre

Registered user since Wed 8 Aug 2018

Name:Salvatore La Torre
Affiliation:Università degli Studi di Salerno
Research interests:Formal verification, program verification, concurrency, automata, logic


ASE 2022 CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory
Show activities from other conferences

ASE 2022-profile
View general profile