ISoLA & AISoLA 2026

International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece

Talk

A specification approach for distributed algorithms in continuous space-time

Time: Monday, 26.10

Room: Room 2

Authors: Roberto Casadei, Mirko Viroli, Niccolo Castronuovo, Gianluca Aguzzi