Attività di ricerca di Tronci, Enrico

Enrico Tronci research interests comprise:

- Model Checking;
- Formal Methods;
- Automatic Verification Algorithms and Tools;
- Model Checking based safety and security analysis of software, network protocols, embedded systems, hybrid systems, reactive systems;
- Supervisory Control,
- Software Engineering,
- Model Checking based Planning and Optimization,
- Automatic synthesis of reactive programs from formal specifications;
- Network Vulnerability Analysis.