BP4PA Tool

The BP4PA project proposes a suitable approach to represent, assess and continuously improve Public Administration applied processes, according to domain requirements and exploiting formal verification techniques. The approach is implemented in the BP4PA tool.


  • Flavio Corradini, Full Professor,

  • Alberto Polzonetti, Assistant Professor,

  • Andrea Polini, Assistant Professor,

  • Barbara Re, Research Assistant,

  • Damiano Falcioni, Phd Student