Projects

• Antonio D'Onofrio, Alessandro Gasparini, Andrea Parisse,
  Formal Verification of Business ReEngineering Models via SMV
• Luca Balzerani,
  A Translator from CTL to BSP
• Tony Di Giannantonio, Andrea Liberatore,
  SPIN Dining Philosophers
• Mauro Di Cesare, Giulio Pellizzone,
  An ACTL to CTL translator for SMV
• Fabio Martelli,
  A translator from Boole to SMV
• Giovanni Ricciuti,
  Verification of the TMN protocol using SMV (tesina)
• Alessandro Asci, Emanuele Asci
  A translator from a fragment of FC2 to SMV