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.

https://twitter.com/ETAPSconf/status/1651574000596787200

https://etaps.org/awards/test-of-time-tool/
Mis à jour le 4 May 2023