Formal methods, verification of hybrid systems, verification of infinite-state systems, abstraction refinement techniques, parameter synthesis, satisfiability modulo theories.
- Model checking of asynchronous hybrid systems: HyCOMP
- Model checking of infinite-state systems: nuXmv
- Model checking of finite-state systems: NuSMV2
Verification of Hybrid Systems using Satisfiability Modulo Theories (PDF)
I defended my PhD Thesis in March 2014.
The thesis was supervised by Alessandro Cimatti
and Stefano Tonetta
- 2009/2010 Teaching Assistant for the Functional Programming course
- 2008/2009 Teaching Assistant for the Functional Programming course