Danilo Pianini gave a presentation on SAPERE analysis tools. He discussed Alchemist and The One, tools for architectural design and detailed design respectively. For Alchemist, improvements included loading environments from images, more realistic pedestrian modeling, integration with PVeStA for statistical model checking, and 3D rendering. Work still underway involves using real maps from the web and supporting complex networks. The One is used for verifying algorithms in the actual middleware and measuring network performance.