International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Topic | Authors |
| 09:00 | P³MC: Towards Probabilistic Programming Probabilistic Model Checking for Linear Temporal Logic | Luca Bortolussi, Romina Doz, Laura Nenzi, Francesca Randone, Simone Silvetti, Mirco Tribastone |
| 09:30 | A specification approach for distributed algorithms in continuous space-time | Roberto Casadei, Mirko Viroli, Niccolo Castronuovo, Gianluca Aguzzi |
| 10:00 | Pythia: A Python Framework for the Simulation and Statistical Analysis of Collective Adaptive Systems | Michele Loreti, Marco Quadrini |