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.