ICPC 2024
Sun 14 - Sat 20 April 2024 Lisbon, Portugal
co-located with ICSE 2024
Davide Basile

Registered user since Fri 24 Jan 2020

Name:Davide Basile
Bio:

My research focuses on developing both novel formalisms for emerging computational paradigms and supporting tools, exploring formal verification techniques and applying state-of-the-art formal methods to the design of real-world systems and emerging technologies in different application domains, e.g., railway domain.

Country:Italy
Affiliation:Formal Methods and Tools lab, ISTI-CNR, Pisa, Italy
Research interests:Formal Methods, Software Engineering, Contract Automata

Contributions

Show activities from other conferences

ICSE 2024-profile
View general profile