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.
Contributors
- Flavio Corradini, Full Professor,
- Alberto Polzonetti, Assistant Professor,
- Andrea Polini, Assistant Professor,
- Barbara Re, Research Assistant,
- Damiano Falcioni, Phd Student
