| SSD |
ING-INF/05 – Information processing systems |
| Research interest |
The research activities of Antonella Santone mainly focus on formal methods for the analysis and verification of software systems, with particular emphasis on model checking techniques. The main research interests include:
- formal description techniques;
- temporal logic;
- concurrent and distributed systems modelling;
- heuristic search;
- formal methods in systems biology;
- formal methods for security engineering.
|
| Keywords |
Formal methods, temporal logic, model checking. |
