CAIN 2023
Mon 15 - Sat 20 May 2023 Melbourne, Australia
co-located with ICSE 2023
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 2023-profile
View general profile