Test-of-Time Tool Award
The test-of-time tool award is granted to tools from the ETAPS community that has proved its impact and qualities over past years.
The 2023 ETAPS Test-of-Time Tool Award went to Hubert Garavel, Frédéric Lang, Radu Mateescu, and Wendelin Serwe for their tool CADP: Construction and Analysis of Distributed Processes.


Mis à jour le 4 mai 2023